Nicht strikte Paare

data Value = ...
           | Pair Comp Comp

Semantik von (pair X1 X2) in Umgebung E ist diese Rechnung:

• Semantik von X1 in E ist c1 :: Comp
• Semantik von X2 in E ist c2 :: Comp
• Resultat ist Pair c1 c2

Semantik von (fst p): führe Semantik von p aus, liefert Pair c1 c2, führe c1 aus, Resultat ist v1.