Monads

I'm reading the Real World Haskell book and trying the examples and exercises as I go along. It hasn't mentioned the "M" word yet, but I can sense that this example is leading precisely to them..