--- a/lib/ur/list.ur	Tue May 26 12:25:06 2009 -0400
+++ b/lib/ur/list.ur	Thu May 28 10:16:50 2009 -0400
@@ -83,3 +83,29 @@
     in
         fil []
     end
+
+fun exists (a ::: Type) f =
+    let
+        fun ex ls =
+            case ls of
+                [] => False
+              | x :: ls =>
+                if f x then
+                    True
+                else
+                    ex ls
+    in
+        ex
+    end
+
+fun foldlMap (a ::: Type) (b ::: Type) (c ::: Type) f =
+    let
+        fun fold ls' st ls =
+            case ls of
+                [] => (rev ls', st)
+              | x :: ls =>
+                case f x st of
+                    (y, st) => fold (y :: ls') st ls
+    in
+        fold []
+    end