Exactly, this plus adding a new layer of complexity and a new corpo sponsored replacement for something that isn't broken ...
The tradeoff is clearly worth it for certain use cases, and clearly not worth it for others. It seems you are discounting and ignoring cases when it is worth it.
Static typing can be a very useful tool especially when the language is designed around it, in TS it is a painful kludge.