Type Alias Expand<T>

Expand<T>: T extends ((...args: infer A) => infer R)
    ? ((...args: Expand<A>) => Expand<R>)
    : T extends infer O
        ? {
            [K in keyof O]: O[K]
        }
        : never

Expands the type T (for intellisense and debugging)