Relax constraint, fix typo

Author: garyb

docs/Module.md

@@ -53,7 +53,7 @@
     instance categoryKleisli :: (Monad m) => Category (Kleisli m)
 
 
-    instance profuncorKleisli :: (Monad m) => Profunctor (Kleisli m)
+    instance profunctorKleisli :: (Functor f) => Profunctor (Kleisli f)
 
 
     instance semigroupoidKleisli :: (Monad m) => Semigroupoid (Kleisli m)

src/Control/Arrow/Kleisli.purs

@@ -16,7 +16,7 @@ instance semigroupoidKleisli :: (Monad m) => Semigroupoid (Kleisli m) where
 instance categoryKleisli :: (Monad m) => Category (Kleisli m) where
   id = Kleisli return
 
-instance profuncorKleisli :: (Monad m) => Profunctor (Kleisli m) where
+instance profunctorKleisli :: (Functor f) => Profunctor (Kleisli f) where
   dimap f g (Kleisli h) = Kleisli ((<$>) g <<< h <<< f)
 
 instance strongKleisli :: (Monad m) => Strong (Kleisli m) where