如何定义对称的HEq类型类？避免重复编写异构相等实例

我们可以用以下类型类定义不同类型值之间的相等性判断逻辑：

class HEq a b where
    heq :: a -> b -> Bool

比如，我们可以为Int和Bool类型编写如下实例：

instance HEq Int Bool where
    heq 1 True = True
    heq 0 False = True
    heq _ _ = False

但这里存在一个逻辑需求：如果已经定义了HEq Int Bool实例，那么HEq Bool Int实例也应该自动存在，有没有办法不用手动编写两个实例就能实现这种对称关系？

有人想到了一种朴素的实现方式：

instance HEq a b => HEq b a where
  heq = flip heq

但这种写法存在不少问题：

• 必须启用UndecidableInstances扩展才能通过编译
• 需要给该实例加上OVERLAPPABLE标注才能通过编译器的实例匹配检查
• 对于没有显式定义实例的类型对，会陷入无限递归——类型检查器会不断来回翻转a和b的位置，找不到可终止的实例匹配逻辑

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