Test.DejaFu.STM
STMLike
data STMLike n r a
type STMST t
type STMIO
data Result a
type TTrace
data TAction
data TVarId
runTransaction