Haskell中为何可用Num a、直接用Double/Int，却不能用Double a/Int a？

错误核心原因 #

你遇到的报错本质是具体类型和类型类的「种类（kind）」不匹配导致的，核心逻辑很简单：Double、Int本身都是具体值类型，不是类型类，不能作为类型约束使用。

要搞懂报错的字面含义，只需要明确三个基础规则：

• 普通具体类型（比如Double、Int、String）的kind是*，可以直接用来声明值的类型，比如x :: Double就表示x是Double类型的数值。
• 类型类（比如Num、Eq、Ord）的kind是* -> Constraint，需要接收一个具体类型作为参数，最终生成一个合法的类型约束。比如Num Double就表示「Double类型实现了Num类型类的所有定义」，是一个符合要求的约束。
• 类型签名中=>左边的约束位置，只能放Constraint种类的内容。

你写的(Double a) => ...相当于把kind为*的具体类型Double，当成了kind为* -> Constraint的类型类来传参数，编译器自然会抛出种类不匹配的错误。

两种合法写法的逻辑 #

1. Num a => a -> a -> a写法 #

Num是标准的数值类型类，传入类型参数a后刚好生成Constraint种类的约束，符合语法要求。这个签名的含义是：只要某个类型实现了Num类型类的规则，这个函数就可以处理该类型的数值，覆盖Int、Double、Integer等所有数值类型。

2. Double -> Double -> Double写法 #

你没有使用「约束+泛型类型变量」的写法，直接固定了所有参数和返回值的类型为具体的Double，不需要走类型约束的检查逻辑，自然不会报错。这个签名的含义是：这个函数只能处理Double类型的入参，返回值也固定为Double。

如果你的需求就是限定函数只能处理Double/Int类型，直接用具体类型签名即可；如果需要兼容所有数值类型，就用Num a的约束写法。

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