TypeScript variadic currying

variadic-curry.ts

type ArgsToFunc<Args extends [...any]> = Args extends [infer LastArg, infer Result] 
  ? (a: LastArg) => Result //last argument case
  : Args extends [infer Arg, ...infer Args, infer Result] // n-1 argument case
    ? (a: Arg) => ArgsToFunc<[...Args, Result]>
    : never //Args was not a 2tuple, abort

function curry<F extends (...args: any) => any>(fn: F): ArgsToFunc<[...Parameters<F>, ReturnType<F>]> {
  return null as any; //todo - I'm just playing at the type level
}


function add(a: number, b: number): number {
  return a + b;
}

const addC = curry(add);


function myFunction(a: number, b: string, c: boolean): "foobar" {
  return "foobar"
}

const myFunctionC = curry(myFunction);