[syndev]

Sure, that could totally work. Part of the benefit a type system provides is that those checks are provided for you automatically, every time.

[jsnathan]

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.