Give sort predicate to the right constructor.