10.2: Monoid in the category of endofunctors