Trampoline

free

tailRecM

FreeT

toCoyoneda

Yoneda

toString

Free FreeApplicative FreeT

toYoneda

Coyoneda

transform

Coyoneda