instance Eq XY