DsBinds
dsTopLHsBinds
dsLHsBinds
decomposeRuleLhs
dsSpec
dsHsWrapper
dsTcEvBinds
dsEvBinds