为什么不验证Monad？ (scalaz7)

def div2(i: Int): Validation[String,Int] = 
    if (i%2 == 0) Validation.success(i/2)
    else Validation.failure("odd")

def div4(i: Int) = for {
    a <- div2(i)
    b <- div2(a)
} yield b

错误：无法取消应用类型scalaz.Validation [String，Int]转换为类型为类型的类型构造函数M [_]，类型为scalaz.Bind

我猜这个错误是由编译器造成的，找不到一个Monad实例的验证[String，Int]

我可以为自己做一个，像：

object Instances {
implicit def validationMonad[E] = new Monad[({type L[A] = Validation[E,A]})#L] {
    override def point[A](a: => A) =
        Validation.success(a)
    override def bind[A,B](fa: Validation[E,A])(f: A => Validation[E,B]) =
        fa bind f
}
}

但为什么没有验证呢？毕竟，验证已经定义了bind方法。

此外，我不能导入Validation._并导入Instances._一起(这让我无聊找出…)，因为另一个复杂的错误…
模糊的隐含值：类似于validationMonad(我的实例)和方法ValidationInstances1在trait ValidationInstances2 …都匹配一些验证函数…

我应该修改scalaz的来源吗？或者我完全缺少一些东西?？
请帮忙?

我正在使用scalaz 7.0.0-M2