[Haskell-cafe] Is it only one data structure per ST monad?