[gleenn]

The fact remains that your type system can be turing-complete and still not validate the actual logic that I need checked/tested.

[the_af]

The same can be said of tests.

Types are just tests. By removing all the mindless, repetitive tests you write, typechecking can free you up to write the actual meaningful tests that you truly need to write.

It's not "pick one", it's "use type checking to help you only write the unit tests that matter".