You might find this to be an interesting read: Improving the UI of generics
Specifically the parts about the difference between existentials and generics, and about how we could improve the notation.
1 Like