Add Eq instance for Ordering