TcTyDecls
type RolesInfo
inferRoles
checkSynCycles
checkClassCycles
tcAddImplicits
mkDefaultMethodType
mkRecSelBinds
mkOneRecordSelector