Semantik für Paare

was soll die Semantik dieses Ausdrucks sein?

(fst (pair 1 (@/ 1 0)))

• 1 : pair-Konstruktor ist nicht strikt
• (error divide-by-zero) : pair-Konstruktor ist strikt