Free monad makes any functor into a monad