testing monoids with test.check