Deriving the Free Monad

An earlier blog post explains the free monad and gives some applications: http://underscore.io/blog/posts/2015/04/14/free-monads-are-s...