Control.Monad.STM

data STM a

atomically

always

alwaysSucceeds

retry

orElse

check

throwSTM

catchSTM