Scala 非空列表的Monad转换器？

在我看来，Scalaz'

NonEmptyList

有一个monad实例，因此应该可以为它提供一个monad转换器（有点类似于

ListT

）。对吗

如果是这样的话，外面有没有？（我在Scalaz 7中找不到一个。）

---

如果不是，即monad转换器，因为它将不可能或没有任何意义，我将非常感谢您对为什么不可能的任何其他解释。

这当然是可能的，因为可以表明，任何具有遍历实例的monad都可以制作成monad转换器：

import scalaz._
import Scalaz._

object MonadT {
  implicit def monadTransformerFromTraverse[M[_]: Monad, N[_]: Monad: Traverse]: Monad[({type MN[A]=M[N[A]]})#MN] = new Monad[({type MN[A]=M[N[A]]})#MN] {
    def point[A](a: => A): M[N[A]] = a.point[N].point[M]
    def bind[A,B](fa: M[N[A]])(f: A=>M[N[B]]) : M[N[B]] = {
      val M = implicitly[Monad[M]]
      val NT = implicitly[Traverse[N]]
      val N = implicitly[Monad[N]]

      M.map(M.join(M.map(M.map(fa)(N.map(_)(f)))(NT.sequence(_))))(N.join)
//                       |- => M[N[M[N[B]]]]  -|
//                 |-       => M[M[N[N[B]]]]                   -|
//         |-               => M[N[N[B]]]                       -|
//    |-                    => M[N[B]]                                  -|


    }
  }

  def main(argv: Array[String]) {
    val x: Option[NonEmptyList[Int]] = Some(NonEmptyList(1))
    val f: Int => Option[NonEmptyList[Int]] = { x: Int => Some(NonEmptyList(x+1)) }

    val MT =  monadTransformerFromTraverse[Option, NonEmptyList]
    println(MT.bind(x)(f)) // Some(NonEmptyList(2))
  }
}

---

这显然不是最方便使用的形式，但表明它确实是可能的。Tom Switzer目前正在为scalaz添加一个更有用、更通用的TraverseT monad转换器。您可以

我可以建议您尝试创建一个并贡献它！这绝对是我的计划但我想避免尝试实施一些原则上不可行的东西。NEL似乎有点“广泛”使用，因此我将它的monad转换器的不存在归因于我（还）没有掌握的东西，而不是（仅仅）归因于“还没有人找到时间去做它”。最好的方法通常是像平常一样尝试，如果它不可能，它会立即变得明显。：）这有两个问题：1）只有多项式函子有遍历实例。大多数单子不是多项式。2） 不能保证monad变压器定律成立。