Type safety on its own does not guarantee program correctness, nor does it eliminate the need to write tests.