A good programmer knows the limits of the type system. They lean on that knowledge to determine which tests to write.