SimplMonad
data SimplM result
initSmpl
traceSmpl
getSimplRules
getFamEnvs
class MonadUnique m
newId
data SimplCount
tick
freeTick
checkedTick
getSimplCount
zeroSimplCount
pprSimplCount
plusSimplCount
isZeroSimplCount