scala - scala中的类型参数定义

Question

可能重复：
Scala 中的 lambda 类型是什么，它们有什么好处？

1. 如何解决此类型定义：Pure[({type ?[a]=(R, a)})#?]？

2. 使用这种结构的原因是什么？

Snipped 来自 scalaz 库：

trait Pure[P[_]] {
  def pure[A](a: => A): P[A]
}

object Pure {
  import Scalaz._
//...
  implicit def Tuple2Pure[R: Zero]: Pure[({type ?[a]=(R, a)})#?] = new Pure[({type ?[a]=(R, a)})#?] {
  def pure[A](a: => A) = (Ø, a)
  }

//...
}