Недавно я наткнулся на этот код Scalaz (например,https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Functor.scala):

def compose[G[_]](implicit G0: Functor[G]): Functor[λ[α => F[G[α]]]] =
    new CompositionFunctor[F, G] {
      implicit def F = self
      implicit def G = G0
    }

Каково значение / цель выражения типа внутри «Функтора», то есть λ [α => F [G [α]]]? Софар, я видел только псевдонимы типа, например, вhttp://like-a-boss.net/2014/09/27/type-lambda-in-scala.html

new Functor[A, ({ type Alias[A] = Tuple2[X, A]})#Alias]

Также Intellij Idea (14.0.3) не может разрешить символ. Scalaz создается sbt вне Intellij, а затем импортируется в Intellij. Есть идеи, в чем может быть дело?