TcTyDecls

calcRecFlags

data RecTyInfo

calcSynCycles

calcClassCycles

type RoleAnnots

extractRoleAnnots

emptyRoleAnnots

lookupRoleAnnots