[Haskell-cafe] Re: Controlling scope using monadic classes