STM package:stateref

A monad supporting atomic memory transactions.