simplify monoid laws spec