Comment by umvi

(completely serious) I think soon TS is going to need a "type debugger" where you can set breakpoints and step through tsc as it propagates your type info through generics and conditionals and such

Otherwise it's just nightmarish to try to debug ultra complex types