TcTyClsDecls

tcTyAndClassDecls

tcAddImplicits

kcDataDecl

tcConDecls

dataDeclChecks

checkValidTyCon

tcSynFamInstDecl

tcFamTyPats

wrongKindOfFamily

badATErr

wrongATArgErr