Hide Data.Typeable.Refl in Data.GADT.Compare.