TabulatedAllegory | Control.Allegory |
tabulateLeft | Control.Allegory |
tabulateRight | Control.Allegory |
terminate | Control.Category.Object |
toCodensity | Control.Monad.Codensity |
toDensity | Control.Comonad.Density |
toLan | Control.Functor.KanExtension |
toRan | Control.Functor.KanExtension |
Trialgebra | Control.Functor.Algebra |