The feature you’re looking for has been called “generalized existentials” and “enhanced existentials” in prior threads. If you search the forums you’ll find quite a bit of discussion about this feature. Improving the UI of generics is a good place to start.
1 Like