@hackage/semigroupoids
Semigroupoids: Category sans id
@hackage/comonad
Comonads
@hackage/adjunctions
Adjunctions and representable functors
@hackage/base
Core data structures and operations
@hackage/distributive
Distributive functors -- Dual to Traversable
@hackage/semigroups
Anything that associates