Descrição
Uma pequena biblioteca Haskell que define tipos e classes Boring e Absurd. Essas abstrações ajudam a descrever tipos que têm um valor óbvio ou nenhum valor possível, úteis em programação genérica e provas.
Desenvolvedores a usam quando garantias no nível de tipos tornam o código mais claro ou seguro. É uma biblioteca especializada que geralmente aparece como dependência de pacotes Haskell mais visíveis.