此实例声明中的箭头是什么？

Question

我正在阅读真实世界Haskell,我遇到了一个例子,其中=>使用了这样的箭头,

class Borked a where ...

instance (Borked a, Borked b) => Borked (a, b) where ...

这有什么不同

instance Borked (a, b) where ...

Answer 1

这意味着,a和b必须的情况下,Borked为(a, b)成为的一个实例Borked.因此,当您尝试Borked在元组上调用其中一个方法时,只有在元组的元素也是实例的情况下才允许这样做Borked.这允许您Borked在实例定义中使用元组元素的方法.