Data.Functor.Kan.Rift

Right Kan lifts

data Rift g h a

toRift

fromRift

grift

composeRift

decomposeRift

adjointToRift

riftToAdjoint

composedAdjointToRift

riftToComposedAdjoint

liftRift

lowerRift

rap