Flatten

type Flatten<T> = T extends infer Item[] ? Item : never;