Descrição
Fornece uma hierarquia padrão de classes de construtores de tipos usando métodos com tipos rank-2. Métodos rank-2 dão suporte a abstrações avançadas em que funções devem funcionar uniformemente para muitos tipos.
É útil para desenvolvedores Haskell experientes que criam bibliotecas genéricas, optics, efeitos ou abstrações de ordem superior. É uma biblioteca para desenvolvedores e não possui interface independente.