[Haskell-cafe] STM and MonadFix?