TcTyDecls
calcRecFlags
data RecTyInfo
calcSynCycles
checkClassCycles
type RoleAnnots
extractRoleAnnots
emptyRoleAnnots
lookupRoleAnnots
tcAddImplicits
mkDefaultMethodType
mkRecSelBinds
mkOneRecordSelector