New posts in higher-rank-types

What is the purpose of Rank2Types?

haskell types polymorphism higher-rank-types