Restrictions for blamario/monoid-subclasses#3