Here : https://basarat.gitbooks.io/typescript/content/docs/types/type-system.html https://github.com/Microsoft/TypeScript/pull/3622
