looking at monoids