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