io-sim-1.5.1.0: A pure simulator for monadic concurrency with STM.