[Haskell] Re: STM applications and examples?