Free is a monad in an endofunctor category.