Lambdas, Alphas in Scalaz

Question

In vielen Zügen Unterschriften kann man diese ungeschickt suchen Syntax vor Ort:

private trait CompositionPlus[F[_], G[_]] extends Plus[λ[α => F[G[α]]]]

Könnte jemand mir erklären, die λ[α => F[G[α]]] Teil? Sowohl λ als auch α scheint undefiniert.

EDIT: Ich sehe, was diese Syntax tut, aber ich frage mich, wie es vom Compiler interpretiert wird.

Answer 1

Diese Syntax stammt von kind-projector. Es ist eine Compiler-Plugin, die

λ[α => F[G[α]]] 

zu

({ type L[α] = F[G[α]] })#L