Row types are poorly explained about documentation HOT 3 OPEN

Set (Tuple Label Type) is not quite correct. It's more like Map Label (NonEmptyList Type). Set (Tuple Label Type) implies the ordering relation between the types is undefined, but that's not the case; there is a cons ordering.

from documentation.

Probably more accurate, rows behave like scope.

from documentation.

I am still trying to find a succinct description... How about this?

A row is an unordered list of labels each identifying a nonempty list of types.

With respect to scope, are you saying that Rows provide a context with values as oppose to providing a schema for data storage?

from documentation.