Currying with variadic tuple types

curry.ts

function curry<T extends unknown[], U extends unknown[], V>(
  f: (...ts: [...T, ...U]) => V,
  ...a: T
): (...b: U) => V {
  return (...b) => f(...a, ...b);
}
const input = (a: number, b: string, c: boolean, d: symbol) =>
  [a, b, c, d] as const;

curry(input, 1, "123", true, Symbol())();
curry(input, 1, "123", true)(Symbol());
curry(input, 1, "123")(true, Symbol());
curry(input, 1)("2", true, Symbol())
curry(input)(1, "123", true, Symbol())