Types aren't always expressive enough for that. I usually can't specify that a number should always be negative for instance, or that there's no 0. My preferen

Types aren't always expressive enough for that. I usually can't specify that a number should always be negative for instance, or that there's no 0. My preference is to minimize surprise. If everyone is used to using signed types for everything, you better have a good reason for using something else, and leave that justification in a comment