no -

[SashaZel]

type First<T extends any[]> = T extends {length: number, "0": unknown} ? T[0] : never;