ctype t = error "Can't happen: Not a valid interface type " ++ show t
ctype t = error "Can't happen: Not a valid interface type " ++ show t
ctype t = error "Can't happen: Not a valid interface type " ++ show t