http://www.typescriptlang.org/docs/handbook/advanced-types.html#type-inference-in-conditional-types