more monoid tests