Ring tests, test Monoid, Semigroup against collections equivalents