为什么不验证Monad？(scalaz7)

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.Validation[String,Int]到M[_]由类型类别分类的类型构造函数scalaz.Bind

我猜错误是由编译器无法找到的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._和import Instances._在一起了(这让我想出来......),因为另一个复杂的 错误 ......
含糊不清的隐含价值观:两者都有validationMonad(我的实例)和ValidationInstances1特质中的方法ValidationInstances2......两者都匹配Functor of Validation...

我应该修改scalaz的来源吗？或者我完全错过了什么〜？
请帮忙〜

我正在使用scalaz 7.0.0-M2

Answer 1

正如Scalaz小组所讨论的那样,问题似乎是ap积累错误,而(伪)monadic组合只会在值的一部分上运行Validation.

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

Answer 2

问题是monad暗示的applicative functor与实际的 applicative functor 不相等