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.