Simulation von nicht strikten Paaren

(ns-pair X Y) 
--> (pair (abs (u) X) (abs (u) Y))

(ns-fst P) --> ((fst P) #u)

• in CBV müssen das desugaring-Regeln sein, ns-pair ist keine CBV-Funktion.
• u darf nicht in X,Y vorkommen
• (abs (u) X) heißt thunk

mit thunking nur für zweites pair-Argument erhält man (lazy) streams,

vgl. Iterator/Enumerator in Java/C#