Learning about monoids