为什么会出现"constraint matches实例声明“错误？

Question

我有以下几个例子：

instance (Typeable crypto, ToCBOR (SIPHash crypto)) => ToCBOR (SIP crypto) where
  -- ...

instance (Typeable crypto, ToCBOR (Hash crypto SIPData)) =>ToCBOR (SIPHash crypto) where
  -- ...

这会导致以下错误：

• The constraint ‘ToCBOR (SIPHash crypto)’
    matches an instance declaration
  instance (Typeable crypto, ToCBOR (Hash crypto SIPData)) =>
           ToCBOR (SIPHash crypto)
    -- Defined at src/Cardano/Ledger/Spec/STS/Update/Data.hs:383:10
  This makes type inference for inner bindings fragile; 
    either use MonoLocalBinds, or simplify it using the instance 
• In the context: (Typeable crypto, ToCBOR (SIPHash crypto))
  While checking an instance declaration
  In the instance declaration for ‘ToCBOR (SIP crypto)’

为什么会出现这个错误，编译器错误所指的“匹配”是什么？(据我所知，约束是不同的)。

PS:我也尝试过移除Typeable crypto约束，我猜这是因为编译器没有注意到实例声明的LHS。

Answer 1

从本质上讲，Haskell告诉你，正如所写的那样，这些实例将使某些类型推断变得不可能，而这些类型推断通常是你可能期望工作的。MonoLocalBinds语言扩展更改了类型系统处理这些场景的方式，因此启用它将允许实例按编写的方式运行，但可能会更改代码的语义。

Haskell通常对由let或where绑定的变量使用最通用(最多态)的解释，但如果您允许这种类型的实例，可能会有多种不同的、但同样通用的解释。MonoLocalBinds将导致解析器使用不太通用的解释，而不是陷入停顿或做出任意决定。有一个80-page paper from Vytiniotis, et al对这个问题有更全面的解释，尽管不可否认，我没有时间坐下来阅读。

正如@chi指出的那样，GHC让你知道你可以通过将你的第一个实例替换为：

instance (Typeable crypto, ToCBOR (Hash crypto SIPData)) => ToCBOR (SIP crypto)