Type Alias Permute<T, Order>

Permute: Order extends readonly [infer First, ...(infer Rest)]
    ? First extends number
        ? Rest extends readonly number[]
            ? T extends Shape
                ? readonly [At<T, First>, ...Permute<T, Rest>]
                : never
            : never
        : never
    : readonly []

type Transposed = Permute<[2, 3, 4], [2, 0, 1]> // [4, 2, 3]
Copy