Type Alias ValueAtT<Value, Path>

ValueAtT: Path extends [infer First]
    ? First extends keyof Value
        ? Value[First]
        : First extends `${number}`
            ? Value extends (infer Element)[] ? Element : never
            : never
    : Path extends [infer First, ...(infer Rest)]
        ? First extends keyof Value
            ? ValueAtT<Value[First], Rest>
            : First extends `${number}`
                ? Value extends (infer Element)[] ? ValueAtT<Element, Rest> : never
                : never
        : never