An author wraps in a tuple to stop distribution but accidentally still leaves a path for it. What is `R`?type Strip<T> = T extends [infer Head, ...infer _] ? Head : T; type R = Strip<string | [1, 2]>;
