SE-0353: Constrained Existential Types

The core team has decided to accept this proposal including the above revision.

3 Likes