Type unions in D

[bearophile]

Justin Johansson:
> What's the best way of emulating a system of quantified type unions in D  (D1)?

Having nullable values may be useful, having nonnull class references can probably be very useful, having tagged unions (I am talking as C unions here) can be useful. But can you show me some usercases/purposes for what you are asking for? I think other people too here are curious.

Bye,
bearophile