A well-designed type system reduces the number of tests needed by allowing the programmer to enforce correctness through the type system itself.