TcTyClsDecls
tcTyAndClassDecls
tcAddImplicits
kcDataDefn
tcConDecls
dataDeclChecks
checkValidTyCon
tcFamTyPats
tcTyFamInstEqn
famTyConShape
tcAddTyFamInstCtxt
tcMkDataFamInstCtxt
tcAddDataFamInstCtxt
wrongKindOfFamily
dataConCtxt