Data.Functor.Yoneda

data Yoneda f a

liftYoneda

lowerYoneda

maxF

minF

maxM

minM

as a right Kan extension

yonedaToRan

ranToYoneda

as a right Kan lift

yonedaToRift

riftToYoneda