Types don't substitute for tests

And tests don't substitute for well-thought architecture, what is often forgotten by proponents of test-driven design.