Thoughts

Approach

Code

type Reverse<T extends any[]> = T extends [...infer Rest, infer Last]
	? [Last, ...Reverse<Rest>]
	: [];

type FlipArguments<T extends (...args: any) => any> = (
	...args: Reverse<Parameters<T>>
) => ReturnType<T>;