Can we have inheritable sum-types?

[Jumhyn (Frederick Kellison-Linn)]

@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 in the past!