TcTyDecls

calcRecFlags

data RecTyInfo

calcSynCycles

checkClassCycles

Roles

type RoleAnnots

extractRoleAnnots

emptyRoleAnnots

lookupRoleAnnots

Implicits

tcAddImplicits

mkDefaultMethodType

Record selectors

mkRecSelBinds

mkOneRecordSelector