Descrição
Fornece versões de ordem superior de classes comuns do Prelude. Essas abstrações permitem elevar comportamentos conhecidos de classes para construtores de tipos e estruturas mais genéricas.
É útil para bibliotecas avançadas, programação genérica, pilhas de transformers e abstrações funcionais que precisam de comportamento semelhante ao Prelude em um nível mais alto. É uma biblioteca para desenvolvedores e não possui interface independente.