I actually really like TS's type system precisely because it is insanely flexible.
I can write statically typed code that easily shapes & reshapes objects & code that fits functional or object oriented programming styles.
It's a statically typed language that feels dynamic.
Now, if I were to get a version of TS without all of JS's crutches that would be amazing.
Deno is pretty close, but it lacks on performance & is bounded in potential by JS (in some aspects).