[Haskell-cafe] STM applications