Remove useless constraint from Kleisli.local

puffnfresh · puffnfresh · commit dec02f3fa4c0 · 2014-08-02T06:37:11.000-06:00
diff --git a/core/src/main/scala/scalaz/Kleisli.scala b/core/src/main/scala/scalaz/Kleisli.scala
@@ -187,7 +187,7 @@ trait KleisliFunctions {
   /**Pure Kleisli arrow */
   def ask[M[_] : Applicative, A]: Kleisli[M, A, A] = kleisli(a => Applicative[M].point(a))
 
-  def local[M[_] : Monad, A, R](f: R => R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A] = fa local f
+  def local[M[_], A, R](f: R => R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A] = fa local f
 }
 
 object Kleisli extends KleisliInstances with KleisliFunctions

Original file line number	Diff line number	Diff line change
`@@ -187,7 +187,7 @@ trait KleisliFunctions {`
`187`	`187`	`/*Pure Kleisli arrow /`
`188`	`188`	`def ask[M[_] : Applicative, A]: Kleisli[M, A, A] = kleisli(a => Applicative[M].point(a))`
`189`	`189`
`190`		`- def local[M[_] : Monad, A, R](f: R => R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A] = fa local f`
	`190`	`+ def local[M[_], A, R](f: R => R)(fa: Kleisli[M, R, A]): Kleisli[M, R, A] = fa local f`
`191`	`191`	`}`
`192`	`192`
`193`	`193`	`object Kleisli extends KleisliInstances with KleisliFunctions`