当前，我正试图了解更多关于Instance termination rules的信息，以便解释类似The constraint ... is no smaller than the instance head的错误，并且在不完全知道UndecidableInstances的情况下不使用它。
我确信关于我不知道的实例，并且我有兴趣学习的实例，还有更多的类型检查器规则。
在哪里可以找到Haskell做什么的更详细说明？ 不幸的是，Understanding Functional Dependencies via Constraint Handling Rules对我来说似乎有点（复杂）。