标签： haskell typeclass
我一直在搞乱一些稳定的名字，想要一个功能，如果Eq - 实例存在，则检查值级别的等价性，但是通常使用{{ 1}}。下面的代码显示了我想要做的事情，但这并不起作用，因为即使是不连贯的实例，给定的实例也是重复的：
Eq
StableName
有没有办法在类的非实例上专门选择？或者是否有其他方法可以使此代码有效？