[Haskell-cafe] question about STM and IO