lift
Coyoneda
FreeApplicative
FreeInvariantMonoidal
liftF
Free
FreeT
liftT
FreeT
liftTU
FreeT