Type Alias Leaves<T, D>

Leaves: [D] extends [never]
    ? never
    : T extends object
        ? { [K in keyof T]-?: Join<K, Leaves<T[K], Prev[D]>> }[keyof T]
        : ""