# Can we have inheritable sum-types?

**URL:** <https://forums.swift.org/t/can-we-have-inheritable-sum-types/36713>\
**Category:** Using Swift\
**Created:** [May 21, 2020, 5:18am UTC](https://forums.swift.org/t/can-we-have-inheritable-sum-types/36713 "2020-05-21T05:18:30Z")\
**Posts on this page:** 1\
**Showing post:** 3

<div class="post-metadata">

**Author:** ![Jumhyn](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/jumhyn/32/3891_2.png) [@Jumhyn](https://forums.swift.org/u/Jumhyn)\
**Post date:** [May 21, 2020, 1:11pm UTC](https://forums.swift.org/t/can-we-have-inheritable-sum-types/36713/3 "2020-05-21T13:11:47Z")

</div>

> [@Nevin](#):
>
> In other words, the supertype would have more cases, and the subtype would have fewer.

Which, it's worth noting, has indeed been [proposed/discussed](https://forums.swift.org/t/proposal-enum-subsets/2869) in the past!

---

_[View the full topic](https://forums.swift.org/t/can-we-have-inheritable-sum-types/36713)._