scala - 当 Disjunction 是最外层容器时，如何使用 Monad Transformer？

Question

val vLInts = (1 to 10).toList.right[String]

for {
  i <- ListT(vLints)
  _ = println(i)
} yield i

//error: no type parameters for method apply:(underlying: M[List[A]])scalaz.ListT[M,A] in object ListT exist so that it can be applied to arguments (scalaz.\/[String,List[Int]])

这里的问题是析取 \/[A, B]有 2 个泛型，因此不是 Monad。当我创建类型别名时

type Attempt[A] = \/[String, A]

它成功了，因为我已经固定左侧并且我现在有了 Monad。如果最外层类型是析取，我如何让我的 Monad Transformer 工作，而不诉诸类型别名？

Answer 1

for{
i <- ListT[({type l[+a] = String \/ a})#l,Int](vLints)
_ = println(i)
} yield i

显然，答案是 lambda 类型。它不漂亮，但它有效。