Free Monads

Get familiar with free monads.

Similarity in free monads and tagless final

Free monads are, in some ways, very similar to the tagless final. In essence, they allow us to turn any functor (the part of a monad that has a map) into a monad, thereby gaining of and chain functionality without any additional work.

This is in itself already ...