Type Alias CurriedParams<F>

CurriedParams: F extends (a: infer A) => infer R ? [A, ...CurriedParams<R>] : []

Build a tuple of the parameter types for a curried function

type CurriedFn = (a: string) => (b: number) => (c: boolean) => void;
type Params = CurriedParams<CurriedFn>; // [string, number, boolean]