Are we talking about automatic type inference then? Otherwise you'll still have to work out each type before it becomes "automatic". Which is not entirely diss

Are we talking about automatic type inference then? Otherwise you'll still have to work out each type before it becomes "automatic". Which is not entirely dissimilar from working out a test suite.