I keep hitting this wart where I expect to be able to use type lambdas with placeholders for higher kinded types, but I can never seem to make it work:
For context bounds, I would like to be able to write something like this:
def foo[F[_]: EitherT[*[_], String, Int] = ???
It seems like this case is simply not supported in Scala 3 at the moment?
I read this section Kind Projector Migration | Scala 3 Migration Guide | Scala Documentation from the docs, but the wording here is a bit difficult to decipher.
Is this use case going to be covered in the future, or do we have to explicitly write out the type lambdas for these cases?