Agreed 100%. Other benefit is fearless refactoring since API changes appear as type errors.

With no type-checking you need to gamble testing all codepaths.