>For typed strings, String[T] the compare operator ignores the generic type and is based on the order of the underlying raw string e.g. both arguments are coerced to String. Why? What even was the point in making them 'typed' then? Also, what exactly are the relevant language-level details which BOSQUE contributes? It seems more like a large library than anything else.
To prevent you from passing a String as a String[Zipcode].