这是一个场景:我写了一些带有类型签名的代码，GHC抱怨不能对某些x和y推断x ~ y。你通常可以扔GHC一根骨头，简单地将同构添加到函数约束中，但这是一个坏主意，原因如下:它不强调理解代码。您最终可以

Haskell(带有GHC编译器)比您预期的要快得多。如果使用得当，它可以接近低级语言。(Haskellers最喜欢做的一件事是尝试在C语言的5%之内(甚至超过它，但这意味着你在使用一个低效的C程序，

我开始理解forall关键字是如何在所谓的“存在类型”中使用的，比如:然而，这只是forall用法的一个子集，我根本无法理解它在这样的情况下的用法:或者解释为什么它们不同:或者整个RankNTypes

来自GHC 7.6的文档:你通常一开始就不需要使用specialized语法。当编译模块M时，GHC的优化器(带-O)会自动考虑在M中声明的每个顶级重载函数，并针对在M中被调用的不同类型对其进行特殊化