Control.Functor.Yoneda
data
Yoneda
f a
ranToYoneda
yonedaToRan
lowerYoneda
data
CoYoneda
f a
lanToCoYoneda
coYonedaToLan
liftCoYoneda