Data.Functor.Yoneda

data Yoneda f a

liftYoneda

lowerYoneda

maxF

minF

maxM

minM