tuned K;

--- a/src/Pure/library.ML	Tue Jul 05 16:49:15 2005 +0200
+++ b/src/Pure/library.ML	Tue Jul 05 18:11:59 2005 +0200
@@ -296,7 +296,7 @@
 fun curry f x y = f (x, y);
 fun uncurry f (x, y) = f x y;
 fun I x = x;
-fun K x y = x;
+fun K x = fn y => x;
 
 (*reverse apply*)
 fun (x |> f) = f x;