Descrição
Fornece abstrações avançadas de programação funcional, incluindo extensões de Kan, Kan lifts, o lema de Yoneda e mônadas de densidade ou codensidade. Essas ferramentas ajudam a expressar e otimizar certas transformações de nível mais alto em Haskell.
É destinado a desenvolvedores Haskell experientes e autores de bibliotecas. A maioria dos usuários o verá apenas como dependência de bibliotecas funcionais mais especializadas.