/math/hs-monoid-subclasses/