Note 01: Monads are just monoids...

Let's try to understand the joke.