Re: [Haskell-cafe] Re: Re: Language support for imperative code. Was: Re: monad subexpressions