no estoy seguro de si esto es posible, pero me gustaría poder definir un tipo que convierta tuplas como:[number, string, undefined, number] a[number, string, number] (es decir, filtrarundefined).

Pensé en algo como esto:

type FilterUndefined<T extends any[]> = {
    [i in keyof T]: T[i] extends undefined ? /* nothing? */ : T[i];
}

Sadly, estoy bastante seguro de que no hay forma de lograrlo.