Descrição
Uma biblioteca Haskell para adjunctions, functores representáveis e abstrações relacionadas de programação funcional. Fornece blocos reutilizáveis para código avançado inspirado em tipos e teoria das categorias.
Desenvolvedores precisam dela ao compilar bibliotecas Haskell que dependem dessas abstrações ou ao escrever código funcional altamente genérico. Não é um aplicativo para usuário final.