lift

ContravariantCoyoneda Coyoneda FreeApplicative FreeInvariantMonoidal

liftF

Free FreeT

liftInject

Free FreeT

liftT

FreeT