It may be useful to allow declaring variables without type

[via Digitalmars-d]

Here is a description of variants, with examples:

http://dlang.org/phobos/std_variant.html