Re: [Haskell-cafe] forall & ST monad