-> RenamedContext -- class context
-> RenamedClassPragmas -- pragmas for superclasses
-> TcM s (ThetaType, -- the superclass context
[Type], -- types of the superclass dictionaries
[Id]) -- superclass selector Ids
-> RenamedContext -- class context
-> RenamedClassPragmas -- pragmas for superclasses
-> TcM s (ThetaType, -- the superclass context
[Type], -- types of the superclass dictionaries
[Id]) -- superclass selector Ids