Fixed #7 Imperative monad.