The type checker may as well be one big automated unit test. For all the time a developer spends not writing out types, it then has to be made up in manually w

The type checker may as well be one big automated unit test. For all the time a developer spends not writing out types, it then has to be made up in manually written unit tests.