type A = Sort<[3, 5, 1, 2, 4]>; // type A = [1, 2, 3, 4, 5];