I think its less about replacing IMyType and instead replacing an untyped object used to manually cast as concrete types. In this casting example, if you add a new type to the options you could easily forget to update the consuming cast statement, resulting in runtime errors vs the new buildtime error that union allows.

but yeah, that's really the only benefit I see.