[Haskell] Re: ST Monad and all that