Data.Universe.Instances.Ord