type Trace<T extends any[][]> = {[P in keyof T]: T[P][P & keyof T[P]]}[number]

Playground

Solution by teamchong #35247