+import "IterN"\r
+import "Random"\r
+\r
+foo :: Integer -> <Proc> Double\r
+foo n = runRandom $ foldlN addRandom 0.0 n\r
+\r
+addRandom :: Double -> Integer -> <Random,Proc> Double\r
+addRandom v i = v + randomDouble\r
+\r
+main = "Foo"\r
+--\r
+Foo
\ No newline at end of file