Generics.SOP.Eq