export PartialOrd