Looked into how the typescript type system works and it's just completely insane. Sure you can hardly do normal types well in JS so they resort to structural typing, but just looking at it I already see how it is completely impossible to understand without a full IDE showing you what all types resolve to.