Descrição
Fornece booleanos em nível de tipos para Haskell. Booleanos em nível de tipos permitem expressar decisões verdadeiro ou falso no sistema de tipos, habilitando garantias mais fortes em tempo de compilação.
É útil para APIs avançadas, programação genérica, configuração em nível de tipos e bibliotecas que precisam de ramificação em tempo de compilação. É uma biblioteca para desenvolvedores e não possui interface independente.