Status of generalized existentials

[100mango]

@dan-zheng

e you're interested in a language feature I'd call "typealiases with extra syntactic generic requirements", which

As SE-0335: Introduce existential any in review. Any update on the status of generalized existentials?

Thanks.