(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