Ceylon, because after you've seen union types you wonder why they aren't implemented in every statically typed language.