TypeScript implementation of currying for generalized axis

curry.ts

type Remove<R extends unknown[], I extends number, Out extends unknown[] = [], Count extends unknown[] = []>
  = R extends []
    ? Out
    : R extends [infer First, ...infer Rest]
      ? Count['length'] extends I
        ? Remove<Rest, I, Out, [...Count, 0]>
        : Remove<Rest, I, [...Out, First], [...Count, 0]>
      : never

type X = Remove<['a', 'b', 'c'], 1>

function curry<F extends (...args: never[]) => unknown, Index extends number>(f: F, index: Index) {
  return (arg: Parameters<F>[Index]) => 
    (...args: Remove<Parameters<F>, Index>) => 
      f(...[...args.slice(0, index), arg, ...args.slice(index)]) as ReturnType<F>
}

Usage

function multiFunction(x: string, y: number, z: boolean) {
  return z ? x : y
}

curry(multiFunction, 0)('babo')(42, true)
curry(multiFunction, 1)(42)('babo', true)
curry(multiFunction, 2)(true)('babo', 42)