Unfortunately something along these lines will always be necessary when handling these sorts of pathological cyclical dependency cases without using require.

We’ve dived deep here, with a series of different pull requests that optimize certain pathological cases involving large unions, intersections, conditional types, and mapped types.