I think it may be better to move the explanation of the technique into the *Discussion*. It'd be especially cool to make it a surprise to people that they'd just used a monad.