It can only be more complex, then be simple. If Typescript never existed, people got used to simple nominal typed languages like Java would never notice there

It can only be more complex, then be simple. If Typescript never existed, people got used to simple nominal typed languages like Java would never notice there are much more advance type system ahead, and what can it potentially bring us - the lambda cube, the dependent type, the Curry-Howard correspondence. After everyone have a much better understanding in type and the complexity in Typescript, simpler and more powerful languages would take off.