Is there a way to extract the name of an argument from one type and use it in another type? For example, is it possible to achieve something like this:
type F_v1 = (name: number) => boolean;
type A = ["name", number];
//type F_v2 = (A[0]: A[1]) => boolean; // this is not really allowed
(Assuming that argument names are embedded within function types - TypeScript IDEs often read argument names from any function type. Even using (...as: A) => boolean
results in argument names like "as_0".)