Descrição
Uma biblioteca Haskell para manipular constraints de typeclass como valores de primeira classe. Ajuda código avançado a passar, combinar, provar ou transformar constraints que normalmente vivem apenas em assinaturas de tipo.
Desenvolvedores a usam em programação genérica, APIs em estilo dependente e bibliotecas que precisam de evidência mais forte em tempo de compilação. É infraestrutura especializada de nível de tipos, geralmente instalada como dependência.