找不到scalaz.Applicative类型的证据参数的隐含值

一个’简化’的例子：

定义一个monad和两个特征.一个类似于Either.两个类似于EitherT

trait Monad[F[_]]

trait One[A,B]
object One {
  implicit def m[A]: Monad[({ type T[x] = One[A,x] })#T] = ???
}
trait Two[F[_],A]
object Two {
  implicit def m[F[_]]: Monad[({ type T[x] = Two[F,x] })#T] = ???
}

定义类型别名和案例类以部分应用一个字符串作为第一个参数.案例类版本可用作变通方法.

type OneX[A] = One[String,A]
case class OneY[A](value: OneX[A])
object OneY {
  implicit def m(implicit ev: Monad[OneX]): Monad[OneY] = ???
}

所有“简单”类型的隐式解析都有效.

implicitly[Monad[OneX]]
implicitly[Monad[({ type T[x] = One[String,x] })#T]]
implicitly[Monad[OneY]]

定义部分应用两个的几个类型别名

type TwoX[A] = Two[OneX,A]
type TwoY[A] = Two[({ type T[x] = One[String,x] })#T,A]
type TwoZ[A] = Two[OneY,A]

在这里我们看到使用lambda类型的那个失败了.

implicitly[Monad[TwoX]]
implicitly[Monad[TwoY]] // fails
implicitly[Monad[TwoZ]]

在这里,我们看到所有使用类型别名的lambda类型都失败了.只有实际引用具有单个参数的稳定类型的那个成功.

implicitly[Monad[({ type T[x] = Two[OneX,x] })#T]] // fails
implicitly[Monad[({ type T[x] = Two[OneY,x] })#T]]
implicitly[Monad[({ type T[x] = Two[({ type T[x] = One[String,x] })#T]] //fails

我对编译器的了解相当有限,这可能与@TravisBrown指向的bug有关.