Better description of the Monoid constructor.