Scalaz Functor typeclass símbolos especiales
Recientemente me he encontrado con este código Scalaz (p. Ej.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
}
¿Cuál es el significado / propósito de la expresión tipo dentro del "Functor", es decir, λ [α => F [G [α]]]? Sofar, he visto solo escribir alias como p. Ej. enhttp://like-a-boss.net/2014/09/27/type-lambda-in-scala.html
new Functor[A, ({ type Alias[A] = Tuple2[X, A]})#Alias]
Además, Intellij Idea (14.0.3) no puede resolver el símbolo. Scalaz construido por sbt fuera de Intellij y luego importado a Intellij. ¿Alguna idea de cuál puede ser el caso?