Control.Concurrent.AdvSTM
class MonadAdvSTM m
data AdvSTM a
atomically
handleSTM
debugAdvSTM
debugMode