Type Alias TypedApplicationArgs<TArgs>

TypedApplicationArgs: TArgs extends []
    ? []
    : TArgs extends [infer TArg, ...(infer TRest)]
        ? [TypedApplicationArg<TArg>, ...TypedApplicationArgs<TRest>]
        : never

Conditional type which maps a tuple of application arguments to a tuple of input types for specifying those arguments.