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