Data.Functor.KanExtension

data Ran g h a

toRan

fromRan

composeRan

decomposeRan

adjointToRan

ranToAdjoint

ranToComposedAdjoint

composedAdjointToRan

data Lan g h a

toLan

fromLan

adjointToLan

lanToAdjoint

lanToComposedAdjoint

composedAdjointToLan

composeLan

decomposeLan