Confusion regarding placeholders for higher-kinded type lambdas

Language Design
5

I guess that means it’s not currently on the roadmap. Would this be a candidate for a SIP?