Interpretation: this label point to a first item that does exist.
Demonstration: Arrow component relating to a First item in a List:
Demonstration: Scope components relating to a First item in a List:
Demonstration: converting a Product of Maybe items into Maybe of Sum of these items:
Demonstration: converting a Product of Stops items into Stops of Sum of these items:
Counterpart: label that points to an item that does not exist yet is Fresh.