- -> (TypecheckedHsBinds, -- input: recsel, class, instance, and value
- TypecheckedHsBinds, -- bindings; see "tcModule" (which produces
- TypecheckedHsBinds, -- them)
- TypecheckedHsBinds,
- TypecheckedHsBinds)
--- ToDo: handling of const_inst thingies is certainly WRONG ***************************
-
- -> ([CoreBinding], -- output
- DsWarnings) -- Shadowing complaints
-
-deSugar us mod_name (recsel_binds, clas_binds, inst_binds, val_binds, const_inst_binds)