Monads in real life