Monoid exercise 11