[jerf]

You can do a passable impression of sum types that way too: http://www.jerf.org/iri/post/2917