Ord type is a part of Eq