Haskell类型变量与泛型类型问题：显式类型编译正常泛型代码报错

这个问题本质是Haskell的参数多态类型系统在严格把关，咱们把来龙去脉说清楚：

先看能正常编译的签名 #

当你写isQuestion :: [Char] -> Maybe Bool时，这个签名非常明确：

• 输入必须是字符列表（[Char]也就是String）
• 输出必须是Maybe Bool类型

你的实现完全匹配这个要求：

isQuestion [] = Nothing
isQuestion xs = Just (last xs == '?')

• 空列表返回Nothing（符合Maybe Bool）
• 非空列表取最后一个字符和'?'比较，得到Bool值再包进Just里，完美贴合签名的输出类型，所以GHC毫无怨言。

再看报错的泛型签名 #

当你改成isQuestion :: [a] -> Maybe b时，这个签名相当于给GHC许下了一个承诺：

不管你给我什么类型的列表（a可以是任意类型：Int、Bool、自定义类型都行），我都能返回任意类型b的Maybe值。

但你的实现根本做不到这个承诺，有两个核心冲突：

1. 输入类型的限制：你在代码里写了last xs == '?'，这要求xs的元素类型必须是Char（因为==运算符两边的类型必须一致），但签名里a是任意类型，GHC当然会质疑：如果我传一个[Int]进来，你怎么把Int和'?'比较？
2. 输出类型的限制：你返回的是Just (Bool值)，也就是固定的Maybe Bool类型，但签名里说要返回Maybe b（b可以是任意类型）——GHC没办法把Bool变成调用者想要的任意类型（比如Maybe Int或者Maybe String），所以才会报错：Couldn't match type 'b' with 'Bool'，这里的“rigid type variable”意思是b是调用者指定的类型，你的实现不能强行把它改成Bool。

怎么写真正通用的版本？ #

如果想让函数支持任意可比较的类型，应该给类型变量加上类型约束，同时明确输出的Maybe里的类型是比较结果（也就是Bool）。比如：

isQuestion :: Eq a => a -> [a] -> Maybe Bool
isQuestion _ [] = Nothing
isQuestion target xs = Just (last xs == target)

这个版本的好处是：

• 用Eq a约束a必须是可比较的类型（支持==运算符）
• 把要比较的目标值（比如'?'）作为参数传进来，而不是硬编码在函数里
• 输出固定为Maybe Bool（因为比较的结果只能是布尔值）

现在你可以灵活调用它了：

isQuestion '?' "Hello?"  -- 返回 Just True
isQuestion 5 [1,2,3,5]   -- 返回 Just True
isQuestion "end" ["start", "mid", "end"]  -- 返回 Just True

内容的提问来源于stack exchange，提问作者devio