TcTyClsDecls

tcTyAndClassDecls

tcAddImplicits

kcDataDefn

tcConDecls

dataDeclChecks

checkValidTyCon

tcSynFamInstDecl

tcFamTyPats

tcAddTyFamInstCtxt

tcAddDataFamInstCtxt

wrongKindOfFamily

dataConCtxt

badDataConTyCon