Is `Ord` really needed?