Monoid is the simplest structure from algebra, and you encounter it every day. I give you a bunch of examples, a good definition, and some specialized monoids. It turns out trees, bags, sets are pretty much related with this notion. The code is in Scala, but no knowledge of Scala is required, just be willing to understand the things that are not even new.