[_old_dude_]

sealed typed are union types, granted they have been introduced very recently.

[akavi]

Oh, interesting. TIL, thanks!