It seems like Dotty will get native type lambdas. The plan there is to use F[_] as a short-hand syntax for the type lambda [X] => F[X] and F[?] to be the wildcard syntax which unfortunately is different to how the ? is used in kind-projector.
In scala/scala3#5379 there's a discussion of doing the swap incrementally in Scala 3.0 - 3.3, but imo that would lead to unnecessary churn and confusion, so I was wondering if kind-projector could preemptively replace the ? by another symbol so that until Dotty is out the ? is free to use for wildcards.
Maintainers' opinions are welcome here or in the above ticket 😃