[Accepted] SE-0309: Unlock Existentials for All Protocols

Could we add the terms existential/existential value, existential type and protocol type mentioned in the proposal to the type spec?

5 Likes