Data.Profunctor.Composition

Profunctor Composition

data Procompose p q d c

Unitors and Associator

Categories as monoid objects

Generalized Composition

Right Kan Lift

data Rift p q a b