combined Eq Ord and Cmp into one file