TcTyClsDecls

tcTyAndClassDecls

tcAddImplicits

kcTyDefn

tcConDecls

dataDeclChecks

checkValidTyCon

tcSynFamInstDecl

tcFamTyPats

tcAddFamInstCtxt

wrongKindOfFamily

badATErr

wrongATArgErr