为什么验证不是一个Monad？

Question

一个示例用例：

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的类型。将[String，Int]验证为类型为M[_]的类型构造函数，该类型构造函数由类型类scalaz.Bind进行分类

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

我可以为自己做一个，比如：

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
}
}

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

此外，我不能有导入验证。_和导入实例。_在一起了（这花了我很长时间才弄清楚...），因为另一个复杂的错误...
模糊的隐式值：类似于validationMonad（我的实例）和traitValidationInstances2中的方法ValidationInstances1...两者都匹配一些验证函数...

我应该修改scaraz的源代码吗？或者我完全错过了什么~？
请帮忙~

我用的是scalaz 7.0.0-M2

Answer 1

问题在于 monad 所隐含的应用函子不等于实际的应用函子

Answer 2

正如Scalaz小组中所讨论的，问题似乎是< code>ap会累积错误，而(伪)一元合成只会对< code>Validation的值部分进行操作。

因此，一个不能用另一个来表示，因此验证不存在monad实例。