Learning about Monoids