I agree, ADTs would be nice. In fact, we have a pull request out for it right now. [1] :)

[1]: https://github.com/Microsoft/TypeScript/pull/9163