Data.Functor.Contravariant.Coyoneda
data
Coyoneda
f a
liftCoyoneda
lowerCoyoneda