lift
ContravariantCoyoneda
Coyoneda
FreeApplicative
FreeInvariantMonoidal
liftF
Free
FreeT
liftInject
Free
FreeT
liftT
FreeT