Descrição
Uma biblioteca Haskell para abstrações generalizadas de booleanos e números. Permite que o código expresse operações parecidas com lógica em contextos além dos tipos padrão Bool e numéricos.
Desenvolvedores a usam em programação genérica, computação simbólica e bibliotecas que modelam condições de forma abstrata. É útil principalmente para autores de bibliotecas Haskell e usuários avançados.