How do I translate this type lambda into Kind-Projector syntax?

Question

Given type parameters of F[_] and A[_] how do I turn the following type lambda into the more pleasant Kind-Projector syntax?

({type λ[α] = F[A[α]]})#λ

I would have imagined it would be something like F[A[?_]], but the compiler complains about wanting type parameters in this case.

Answer 1

Using the Lambda (or λ) syntax worked:

λ[α => F[A[α]]]

Found here under Function Syntax.