injAnnTyConName        = thTc (fsLit "InjectivityAnn") injAnnTyConKey
injAnnTyConName        = thTc (fsLit "InjectivityAnn") injAnnTyConKey
injAnnTyConName        = thTc (fsLit "InjectivityAnn") injAnnTyConKey