Why do you think so? I think they're better than equivalent tests, and in fact help bring about better testing. A lot of unit tests will revolve around checkin

Why do you think so? I think they're better than equivalent tests, and in fact help bring about better testing. A lot of unit tests will revolve around checking types. If you don't have to runtime-check this, you can focus unit tests on semantics and integrations assuming the underlying data structures are correct.