TcTyDecls

calcRecFlags

data RecTyInfo

calcSynCycles

calcClassCycles

type RoleAnnots