SE-0309: Unlock existential types for all protocols

That's the reason why I'm asked for documenting the terms mentioned in the proposal in the type spec.

1 Like