In this tutorial, I would like to present monads from the viewpoint of operational semantics and how it makes designing and implementing new monads a piece of cake. Examples include a monad for random number generation and a breadth-first implementation of monadic parser combinators. This article was first published in issue 15 of The Monad.Reader. Introduction Another monad tutorial? Oh my god, w