Update for Semigroupoid

Author: garyb

src/Control/Arrow/Kleisli.purs

@@ -8,9 +8,11 @@ data Kleisli m a b = Kleisli (a -> m b)
 runKleisli :: forall m a b. Kleisli m a b -> a -> m b
 runKleisli (Kleisli f) = f
 
+instance semigroupoidKleisli :: (Monad m) => Semigroupoid (Kleisli m) where
+  (<<<) (Kleisli f) (Kleisli g) = Kleisli (\b -> g b >>= f)
+
 instance categoryKleisli :: (Monad m) => Category (Kleisli m) where
   id = Kleisli return
-  (<<<) (Kleisli f) (Kleisli g) = Kleisli (\b -> g b >>= f)
 
 instance arrowKleisli :: (Monad m) => Arrow (Kleisli m) where
   arr f = Kleisli (return <<< f)