1. Monads through examples