unOpTypes op  e = error $ "unOpTypes: " ++ show op ++ ", " ++ show e
unOpTypes op  e = error $ "unOpTypes: " ++ show op ++ ", " ++ show e
unOpTypes op  e = error $ "unOpTypes: " ++ show op ++ ", " ++ show e