Types and text

#A small observation

Good representations make the common operation obvious. A path is not merely text, a user-facing label is not an identifier, and bytes received from the outside world do not become valid Unicode because a convenient API expects a String.

Types are most valuable here when they preserve a distinction the program would otherwise have to remember everywhere.