Descrição
Uma biblioteca Haskell extraída do Djinn para gerar código a partir de um tipo. Dada uma assinatura de tipo, pode sintetizar implementações candidatas que satisfazem aquele tipo conforme suas regras de busca.
Desenvolvedores a usam como apoio de aprendizado, auxiliar de prototipagem ou componente de editor e ferramenta. Código gerado deve ser revisado porque uma expressão correta pelo tipo nem sempre é o comportamento desejado.