Sure, that could totally work. Part of the benefit a type system provides is that those checks are provided for you automatically, every time.
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.