Monoids in real life