Reverse, 뒤집혀진 배열을 추론하는 타입

type Reverse<T extends any[]> = T extends [infer F, ...infer Rest] ? [...Reverse<Rest>, F] : [];

뒤집히진 배열의 타입을 추론한다.