-- homogeneous equality. See Note [The equality types story] in TysPrim
eqTyConName :: Name
eqTyConName        = tcQual dATA_TYPE_EQUALITY (fsLit "~")         eqTyConKey
eqTyConName :: Name
eqTyConName        = tcQual dATA_TYPE_EQUALITY (fsLit "~")         eqTyConKey
eqTyConName        = tcQual dATA_TYPE_EQUALITY (fsLit "~")         eqTyConKey