TcTyClsDecls
tcTyAndClassDecls
tcAddImplicits
kcDataDecl
tcConDecls
dataDeclChecks
checkValidTyCon
tcSynFamInstDecl
tcFamTyPats
wrongKindOfFamily
badATErr
wrongATArgErr