# Allow typealias to specify the Protocols AssociatedType types

**URL:** <https://forums.swift.org/t/allow-typealias-to-specify-the-protocols-associatedtype-types/36029>\
**Category:** Discussion\
**Tags:** generics\
**Created:** [May 1, 2020, 1:38am UTC](https://forums.swift.org/t/allow-typealias-to-specify-the-protocols-associatedtype-types/36029 "2020-05-01T01:38:22Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![anandabits](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/anandabits/32/355_2.png) [@anandabits](https://forums.swift.org/u/anandabits)\
**Post date:** [May 1, 2020, 1:43am UTC](https://forums.swift.org/t/allow-typealias-to-specify-the-protocols-associatedtype-types/36029/2 "2020-05-01T01:43:06Z")

</div>

The feature you’re looking for has been called “generalized existentials” and “enhanced existentials” in prior threads. If you search the forums you’ll find quite a bit of discussion about this feature. [Improving the UI of generics](https://forums.swift.org/t/improving-the-ui-of-generics/22814) is a good place to start.

---

_[View the full topic](https://forums.swift.org/t/allow-typealias-to-specify-the-protocols-associatedtype-types/36029)._