[project @ 2005-01-16 12:52:21 by ross]

added runKleisli as suggested by David Menendez

diff --git a/Control/Arrow.hs b/Control/Arrow.hs
index e439bfc..2710be6 100644 (file)
--- a/Control/Arrow.hs
+++ b/Control/Arrow.hs
@@ -126,7 +126,7 @@ instance Arrow (->) where
 
 -- | Kleisli arrows of a monad.
 
-newtype Kleisli m a b = Kleisli (a -> m b)
+newtype Kleisli m a b = Kleisli { runKleisli :: a -> m b }
 
 instance Monad m => Arrow (Kleisli m) where
        arr f = Kleisli (return . f)