方法约束是否依赖作用域内实例？GHC类型推导疑问

这问题问到点子上了，本质是Haskell的类型类约束简化和实例重叠机制在起作用，我来拆成两种情况给你讲明白：

1. 存在C Int实例时：x :: C m => m #

先看你的代码里的两个实例：

• 一个是带{-# overlappable #-}标记的通用实例：Monoid m => C m，意思是任何Monoid类型都自动成为C的实例，x取mempty；
• 另一个是具体实例：C Int，直接给x赋值为53，而且Int本身并不是Monoid（Haskell里只有Sum Int、Product Int这种包装类型才有Monoid实例，原生Int没有）。

这时候编译器推导x的类型时，会意识到：

• x可以是任何满足C m的类型m——既可以是Int（靠专门的实例，不需要Monoid约束），也可以是String、[a]这类Monoid类型（靠通用实例）。
• 因为存在不满足Monoid m但满足C m的情况（就是Int），所以编译器不能把C m这个约束简化成Monoid m。因此x的最一般类型就是C m => m，它涵盖了所有可能的使用场景。

举个实际例子验证：

-- 合法，用C Int实例
fiveThree :: Int
fiveThree = x

-- 合法，用Monoid String => C String实例
emptyStr :: String
emptyStr = x

2. 移除C Int实例后：x :: Monoid m => m #

当你删掉C Int实例后，只剩下唯一的C实例：Monoid m => C m。这时候编译器能做一个关键的约束等价推导：

• 现在，任何满足C m的类型m，必然满足Monoid m（因为这是唯一能获得C实例的途径）；
• 反过来，任何满足Monoid m的类型m，自动满足C m（靠这个通用实例）。

也就是说，C m和Monoid m在当前上下文里是完全等价的。编译器会把这种等价关系应用到类型推导中，把x的类型从C m => m简化成更直观的Monoid m => m——毕竟现在用x的前提就是m是Monoid，直接写这个约束更清晰。

同样验证一下：

-- 合法，Monoid String => C String
emptyStr :: String
emptyStr = x

-- 不合法，Int不是Monoid，也没有其他C实例
-- fiveThree :: Int
-- fiveThree = x  -- 编译报错

额外补充：overlappable的作用 #

这里的overlappable标记是让编译器允许具体实例（比如C Int）覆盖通用实例，避免实例重叠的编译错误。但它不影响我们上面说的类型推导逻辑——核心还是“是否存在不满足通用实例约束但满足类约束的类型”。

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