标签： haskell types type-systems
在阅读this Haskell tutorial时，我发现了这句话：
此外，由于Haskell只有普遍量化的类型，因此无需明确写出符号进行通用量化，因此我们只需在上面的例子中编写[a]。
非普遍量化类型的示例是什么？那会是什么样子？是否有具有此功能的编程语言？