The Row type description begins...
A row of types represents an unordered collection of named types, with duplicates.
That description is unclear. By process of elimination it appears the types are what is allowed to be duplicated while the labels, as keys, cannot be duplicated. Perhaps a more plain wording is as follows:
A row is an unordered list of labels with type identifiers: Set (Tuple Label Type)