--- /dev/null
+import "Prelude"\r
+\r
+inc :: Ref Integer -> <Proc> Integer\r
+inc r = do \r
+ v = getRef r\r
+ newV = v+1\r
+ r := newV\r
+ newV\r
+\r
+main = do\r
+ r = ref 0\r
+ l = map (\_ -> inc r) [1..4]\r
+ r := 4 // Map must be executed before this statement\r
+ foldl (+) 0 l\r
+--\r
+10\r