TcTyClsDecls
tcTyAndClassDecls
tcAddImplicits
kcTyDefn
tcConDecls
dataDeclChecks
checkValidTyCon
tcSynFamInstDecl
tcFamTyPats
tcAddFamInstCtxt
wrongKindOfFamily
badATErr
wrongATArgErr