A heterogeneous equality TyCon
(i.e. eqPrimTyCon, eqReprPrimTyCon, heqTyCon)
that is actually being applied to two types
of the same kind. This affects pretty-printing
only: see Note [Equality predicates in IfaceType]