Data.Functor.Yoneda
data Yoneda f a
liftYoneda
lowerYoneda
maxF
minF
maxM
minM
yonedaToRan
ranToYoneda
yonedaToRift
riftToYoneda