Added Scalaz implementation of the free monad versions