Control.Monad.STM
data STM a