Make PartialOrd properly visible.