Haskell类约束重复问题：为何两实例Num约束处理不同？

好问题！这其实涉及到Haskell类型检查器处理类超类约束和实例上下文的规则细节，我来一步步拆解清楚：

先看第一个场景：C1的实例声明 #

我们先看类定义：

class Num a => C1 a b

这个定义的意思是：任何C1 a b的实例，都必须先满足Num a这个前提。

当我们声明C1 a Char的实例时：

instance (Num a, C1 a Int) => C1 a Char

如果尝试把Num a去掉，只写instance C1 a Int => C1 a Char，GHC会直接报错。原因在于：

• GHC在检查实例合法性时，不会自动从C1 a Int里“挖”出它隐含的Num a约束。它只会看你显式写在实例上下文里的内容，判断这些内容能不能直接满足类的超类要求（也就是Num a）。
• 这里的核心逻辑是：C1类的超类约束Num a是所有C1实例的“硬要求”，GHC需要你在声明实例时，明明白白地证明这个要求被满足，而不是依赖其他C1实例的隐含约束——否则容易出现循环依赖或者模糊的推导链。

所以必须把Num a显式写在上下文里，让类型检查器直接看到这个前提被满足。

再看第二个场景：C2的实例声明 #

类定义变成了：

class C1 a b => C2 a b

意思是：任何C2 a b的实例，都必须先满足C1 a b。

而实例声明是：

instance C2 a Int => C2 a Char

这里不需要额外加C1 a Char或者Num a，原因是：

• C2 a Int本身就隐含了C1 a Int（因为C2的超类是C1），而C1 a Int又隐含了Num a（因为C1的超类是Num）。
• 更关键的是，我们已经有了第一个C1的实例：instance (Num a, C1 a Int) => C1 a Char。这个实例告诉GHC：只要C1 a Int和Num a成立，C1 a Char就一定成立。
• 所以当GHC检查C2 a Char的实例时，它可以顺着C2 a Int→C1 a Int→Num a的链条，再结合已有的C1实例，自动推导出C1 a Char（也就是C2 a Char的超类要求）被满足。

这种情况下，GHC允许利用已有的其他实例来完成推导，不需要我们重复写那些隐含的约束。

第一个实例里，GHC不肯自动从C1 a Int推断Num a，本质是因为：

• C1 a Int的Num a约束是C1类本身的一部分，而在声明C1的实例时，GHC要求你显式保证超类约束成立——如果你依赖C1 a Int的隐含约束，那C1 a Int本身的实例也需要满足Num a，这会形成一个隐含的依赖环，GHC希望你把这个依赖关系明明白白写出来，避免歧义。

而第二个实例里，Num a是通过C2→C1的超类链间接满足的，而且C1的实例已经显式处理了Num a的约束，所以GHC可以沿着这个链条自动推导，不需要我们重复声明。

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