Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad. - View it on GitHub