Trampoline
free
tailRecM
FreeT
toCoyoneda
Yoneda
toString
Free
FreeApplicative
FreeT
toYoneda
Coyoneda
transform
Coyoneda