I think the typed string is to sort of the same as typed lists. The string can be thought of as a container for the type it holds.