Control.Concurrent.Consistent

data ConsistentT m a

data CTMT m a

runConsistentT

consistently

data CVar a

newCVar

dupCVar

readCVar

writeCVar

swapCVar

modifyCVar