type ElementType‹T› = T extends any[] ? ElementType‹T[number]› : T;  // Error