Add free monad example