More monoid exercises