This is an argument for more types, though, not less. Your example is trivially accomplished using dependent types.