TcTyClsDecls

tcTyAndClassDecls

tcAddImplicits

kcDataDefn

tcConDecls

dataDeclChecks

checkValidTyCon

tcFamTyPats

tcTyFamInstEqn

famTyConShape

tcAddTyFamInstCtxt

tcAddDataFamInstCtxt

wrongKindOfFamily

dataConCtxt

badDataConTyCon