. . . "If you can automate something such as checking the types, then it should be automated, not done manually using unit tests." .