Test.DejaFu.STM.Internal
type M n r a
data STMAction n r
TVar
data TVar r a
data Result a
isSTMSuccess
doTransaction
stepTrans