Algebra.PartialOrd.Instances