Some monad exercises