Support Union of types with inheritance

[nerdsupremacist]

This seems like a really niche case, but I encountered it once and it's not very nice.

The current workaround is to create an empty subclass instead