462 - Currying 2

[okayu29]

type Drop<N, T extends any[], A extends any[] = []>
     = A['length'] extends N ? T 
     : T extends [infer L, ...infer R] ? Drop<N, R, [[], ...A]> : []

type PrefixUnion<T> = T extends [...infer L, infer R] ? T | PrefixUnion<L> : never

type DPC<Args extends any[], Ret>
    = Args['length'] extends 0 ? Ret extends true ? boolean : Ret
    : <T extends PrefixUnion<Args>>(...x: T) => DPC<Drop<T['length'], Args>, Ret> 

declare function DynamicParamsCurrying<F>(fn: F): F extends (...x: infer A) => infer R ? DPC<A, R> : never