约束种类不一致？

Question

SO是一场狗屎秀。感谢您的搭车。

Answer 1

修复了 GHC 票证 #8359 后，您的原始代码（使用

ConstraintKinds

）现在可以按预期进行类型检查，而无需

UndecidableInstances

。