Descrição
Fornece Semigroupoids, que são como categorias sem uma operação de identidade. Essas abstrações dão suporte a padrões avançados de composição usados em bibliotecas de programação funcional.
É útil para optics, profunctors, abstrações genéricas e código Haskell inspirado em teoria das categorias. É uma biblioteca avançada para desenvolvedores e não possui interface independente.