first test for monoid exercise