Proposal Accepted
The core team agrees that this proposal lays important groundwork that can be built on further in ways laid out in the author's Generics UI Improvements overview. This write-up helped clarify the context of the proposal both for reviewers and the core team itself.
Several reviewers felt that being able to name opaque types is an important feature for many use cases. This is clearly a useful feature and would be a good next step, but the core team thinks that the feature as proposed consists of a reasonable "minimum viable product" to land now, and then can be added to through subsequent proposals.
Thank you to everyone who participated in this review!
Ben Cohen
Review Manager