Какова цель Rank2Types?

Я не очень хорошо разбираюсь в Haskell, поэтому это может быть очень простой вопрос.

Какие языковые ограничения решают Rank2Types ? Разве функции в Haskell уже не поддерживают полиморфные аргументы?