TcTyDecls

type RolesInfo

inferRoles

checkSynCycles

checkClassCycles

Implicits

tcAddImplicits

mkDefaultMethodType

Record selectors

mkRecSelBinds

mkOneRecordSelector