/Я language (β)/Behaviour/First/

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.