Trampoline

free

tail

Cofree

tailForced

Cofree

tailRecM

FreeT

toCoyoneda

Yoneda

toString

Free FreeApplicative FreeT

toYoneda

Coyoneda

transform

Cofree Coyoneda