TcTyClsDecls
tcTyAndClassDecls
tcAddImplicits
kcDataDefn
tcConDecls
dataDeclChecks
checkValidTyCon
tcSynFamInstDecl
tcFamTyPats
tcAddTyFamInstCtxt
tcAddDataFamInstCtxt
wrongKindOfFamily