Type Alias TupleSubset<T, Indices>

TupleSubset: {
    [K in keyof Indices]: K extends keyof Indices
        ? Indices[K] extends keyof T ? T[Indices[K]] : never
        : never
}