Wrapping client.request(doc, ..._varsReqHeaders) while retaining type inference?

[kleydon]

Typed requests with TypedDocumentNode seem amazing. I'm trying to avail of this new-found "super-power", but struggling with how to wrap GraphQLClient.request() in function (for error normalization purposes), without losing the hard-won type inference. Using types copied from the relevant library function signature yields the error below (3rd codeblock).

Has anyone out there slayed this particular dragon?

@n1ru4l / @jschuur / @charlypoly - is this something any of you have already done, or know how to do? (Thanks for putting this capability out into the world.)

Relevant function signature from, graphql-request:

export declare class GraphQLClient {
    ...
    request<T = any, V = Variables>(
        document: RequestDocument | TypedDocumentNode<T, V>,
        ..._variablesAndRequestHeaders: V extends Record<any, never> ? 
            [variables?: V, requestHeaders?: Dom.RequestInit['headers']] : 
                keyof RemoveIndex<V> extends never ?
                   [variables?: V, requestHeaders?: Dom.RequestInit['headers']] : 
                       [variables: V, requestHeaders?: Dom.RequestInit['headers']]):  Promise<T>;
    ...
}

My attempt to wrap the request with a function:

export async function wrappedRequest<T = any, V = Variables> (
  document: RequestDocument|TypedDocumentNode<T, V>,
  ..._variablesAndRequestHeaders: V extends Record<any, never> ? 
    [variables?: V, requestHeaders?: RequestInit['headers']] : 
        keyof RemoveIndex<V> extends never ?
            [variables?: V, requestHeaders?: RequestInit['headers']] :
              [variables: V, requestHeaders?: RequestInit['headers']]):  Promise<T> {
  return gqlClient.request(doc, _variablesAndRequestHeaders).catch((err => {
    throw parseGqlReqErr(err)
}))}

The resulting error message (in VS Code):

Argument of type 
'[V extends Record<any, never> ? 
    [variables?: V | undefined, requestHeaders?: HeadersInit | undefined] : 
        keyof RemoveIndex<V> extends never ? [variables?: ...] : 
           [variables: ...]]' 

is not assignable to parameter of type 

'V extends Record<any, never> ? 
    [variables?: V | undefined, requestHeaders?: HeadersInit | undefined] : 
        keyof RemoveIndex<V> extends never ? 
        [variables?: V | undefined, requestHeaders?: HeadersInit | undefined] : 
            [variables: ...]'.