为什么验证不是 Monad？

一个示例用例：

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

error: 无法取消应用类型scalaz.Validation[String,Int]进入类型构造函数M[_]按类型类别分类scalaz.Bind

I guess该错误是由于编译器找不到Monad实例为Validation[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
}
}

但为什么不Validation已经有了吗？毕竟，Validation已经拥有了bind方法定义。

而且，我不能有import Validation._ and import Instances._不再在一起了（这花了我很长时间才弄清楚......），因为另一个复杂的 error...
模糊的隐含值：两者类似validationMonad（我的实例）和方法ValidationInstances1特质中ValidationInstances2...都匹配一些Functor of Validation...

我应该修改scalaz的源吗？或者我完全错过了一些东西〜？
请帮忙~

我正在使用 scalaz 7.0.0-M2

As 讨论过 https://groups.google.com/d/msg/scalaz/IWuHC0nlVws/syRUkXJklWIJ在 Scalaz 组中，问题似乎是ap会累积错误，而（伪）单子组合只会对值部分进行操作Validation.

因此，一个不能用另一个来表达，因此不存在 monad 实例Validation.