Static typing can be a very useful tool especially when the language is designed around it, in TS it is a painful kludge.