DsBinds
dsTopLHsBinds
dsLHsBinds
decomposeRuleLhs
dsSpec
dsHsWrapper
dsTcEvBinds
dsEvBinds
wrapDsEvBinds
data DsEvBind
data AutoScc