Now done with Monoid. To do with Group and the rest of the hierarchy...