# SE-0309: Unlock existential types for all protocols

**URL:** <https://forums.swift.org/t/se-0309-unlock-existential-types-for-all-protocols/47515>\
**Category:** Proposal Reviews\
**Created:** [April 17, 2021, 7:56pm UTC](https://forums.swift.org/t/se-0309-unlock-existential-types-for-all-protocols/47515 "2021-04-17T19:56:29Z")\
**Posts on this page:** 1\
**Showing post:** 184

<div class="post-metadata">

**Author:** ![sighoya](https://avatars.discourse-cdn.com/v4/letter/s/a87d85/32.png) [@sighoya](https://forums.swift.org/u/sighoya)\
**Post date:** [May 7, 2021, 6:53am UTC](https://forums.swift.org/t/se-0309-unlock-existential-types-for-all-protocols/47515/184 "2021-05-07T06:53:03Z")

</div>

That's the reason [why I'm asked for documenting the terms](https://forums.swift.org/t/accepted-se-0309-unlock-existentials-for-all-protocols/47902/3) mentioned in the proposal in the type spec.

---

_[View the full topic](https://forums.swift.org/t/se-0309-unlock-existential-types-for-all-protocols/47515)._