我对Haskell并不十分精通,所以这可能是一个非常简单的问题.
Rank2Types解决了什么语言限制？Haskell中的函数是否已经支持多态参数？
polymorphism haskell types higher-rank-types
haskell ×1
higher-rank-types ×1
polymorphism ×1
types ×1