CmmTx
data ChangeFlag
type Tx a
data TxRes a
seqTx
iterateTx
runTx
aTx
noTx
replaceTx
txVal
txHasChanged
plusTx
mapTx
orChange