[nickik]

I understand that, but that has nothing to do with STM in general and everything with Haskell solution in particular.