It's a class! It's a struct! It's ... SuperStruct!

[Sönke Ludwig via Digitalmars-d-announce]

The TaggedAlgebraic type that I made some time ago is also related. It's 
roughly a superset in that it exposes all members of all types instead 
of only the common types:

https://github.com/s-ludwig/taggedalgebraic