Descrição
Um pacote utilitário Haskell que estende fluxos de manipulação de constraints. Fornece auxiliares extras para projetos que já usam constraints de typeclass como evidência explícita no código.
Desenvolvedores o usam em bibliotecas avançadas de nível de tipos para reduzir repetição ao redor de constraints. É mais útil quando combinado com outros pacotes de programação genérica.