TcTyClsDecls

tcTyAndClassDecls

tcAddImplicits

kcDataDefn

tcConDecls

dataDeclChecks

checkValidTyCon

tcFamTyPats

tcTyFamInstEqn

famTyConShape

tcAddTyFamInstCtxt

tcMkDataFamInstCtxt

tcAddDataFamInstCtxt

wrongKindOfFamily

dataConCtxt