Type alias ResolveType<T>

ResolveType<T>: T extends object
    ? T extends infer O
        ? {
            [K in keyof O]: ResolveType<O[K]>
        }
        : never
    : T

Forces a type to resolve its type definitions, to make it readable/debuggable.