keyof Tを展開して見る
VSCodeで見ても実際にどんなunion型になるのかパット見でわからない
これとか
tstype Expand<T> = T extends infer O ? { [K in keyof O]: O[K] } : never;
type ExpandRecursively<T> = T extends object
? T extends infer O ? { [K in keyof O]: ExpandRecursively<O[K]> } : never
: T;万能ではないけど