Pre-SIP Higher kinded generics improvements

And here’s the scastie to prove it :slight_smile:

While I’m glad that we can opt into this useful capability, why does it need a special flag to enable?

As noted in Nov 2024, the documentation on this topic is confusing, outdated, and spread across two pages. So we see pre-SIPs for features that are partly implemented, yet the documentation is lacking, so even motivated programmers with an interest in the topic can’t figure out how the language works.