collapsed Orderable into Ord