Hell yeah! After all these years it's finally here.
One thing I miss here (and admittedly I only skimmed through the post so if I missed this, please do correct me) is "ad hoc" unions.
It would be great to be able to do something like
public Union<TypeA, TypeB> GetThing()...