TypeScript 2.1: Improved Inference for Literal Types
blog.mariusschulz.com