Scala中的复杂类型构造函数注释

Question

此代码使用有关由2个类型构造函数组成的注释

def compose[G[_]: Applicative]: Applicative[λ[α => F[G[α]]]] = ???

我了解它定义了一种类型Applicative[F[G[_]]]，但我不了解此语法的工作原理