is there a way to do a union type like how the sea...

# announcements

[johnfn]

is there a way to do a union type like how the sealed types work (e.g. i can get exhaustiveness checking) but not have the types inherit from a base type