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