unnecessary Ord contexts