A sealed hierarchy is also a disjoint union and yo...
# arrow
r
A sealed hierarchy is also a disjoint union and you can give it whatever semantics and as many cases as you want