Control.Monad.STM
data
STM
a
atomically
always
alwaysSucceeds
retry
orElse
check
throwSTM
catchSTM