> But even in Typescript codebases I see reluctance to declare new types. The current Typescript hype / trend is to infer types. Problem is at some point it s

> But even in Typescript codebases I see reluctance to declare new types. The current Typescript hype / trend is to infer types. Problem is at some point it slow things down to a crawl and it can get really confusing. Instead of having a type mismatch between type A and type B you get an error report that looks like a huge json chain.