Monoid in endofunctor category.