scalaz/scalaz — pull request #287 by S11001001 (2013-02-17 03:28:36+00:00)
Title: Contravariant laws; instance for Kleisli.

Re #281:

```scala
scala> import scalaz.syntax.contravariant._
scala> import scalaz.Kleisli
scala> import scalaz.std.list._
scala> Kleisli((a: Int) => List(a, a+3))
res0: scalaz.Kleisli[List,Int,Int] =
scalaz.KleisliFunctions$$anon$17@432b4477

scala> res0 contramap ((a: Short) => a + a + a)
res1: scalaz.Unapply[scalaz.Contravariant,scalaz.Kleisli[List,Int,Int]]{
type M[X] = scalaz.Kleisli[List,X,Int];
type A = Int
}#M[Short] = scalaz.KleisliFunctions$$anon$17@3c8e56b8
```