A sealed hierarchy is also a disjoint union and you can give it whatever semantics and as many cases as you want