Strongly typed currying in Typescript

curry.ts

type Func = (...args: any[]) => any;

type FirstParam<T extends Func> =
	T extends (arg: infer J, ...args: infer U) => infer V
	? J
	: never;

type TailParams<T extends Func> =
	T extends (arg: infer J, ...args: infer U) => infer V
	? U
	: never;

type CurriedFunc<T extends Func> = (...args: TailParams<T>) => ReturnType<T>;

function curry<T extends Func>(val: FirstParam<T>, func: T): CurriedFunc<T> {
	return (...args: TailParams<T>) => {
		return func(val, ...args);
	}
}

function add(x: number, y: number): number {
	return x + y;
}

const add7 = curry(7, add);

const val = add7(4);

console.log(val);