## Free Monads in Scalaz - how to use them

In category theory, a Free Object is an algebraic object `M[_]`

possessing a natural transformation - a way of lifting a function `f: A => N`

into a function from `M[A] => N`

which preserves the algebraic structure. In this article I'm going to discuss how this applies to the Free …