Now, for some examples with Monads