[Haskell-cafe] Looking for an efficient tree in STM