Types are painfully helpful
The types are working even if they irritate you. And even more of that. The more typechecking is a pain the bigger the benefits.
Distinguish types at runtime
Often, using the typescript, you have to handle situations when you don't know the type beforehand, during the compile type.