Control.Functor.Yoneda
data Yoneda f a
data CoYoneda f a