Static types are better and cheaper at catching type related bugs than a myriad of end-to-end tests that check dynamic types.