Allow narrowing generic type to single element of union type

It is a fairly common pattern to create a set of generic components, and then to use the generic component type within the system. Currently, typescript has an issue handling cases where some values of a generic component depend on others.

TypeScript Version: 2.4.0 / nightly (2.5.0-dev.201xxxxx)
2.4
Code

let index = {
    a: {
        arg: 'a',
        fn: (a: string) => {a.toUpperCase()}
    },
    b: {
        arg: 1,
        fn: (b: number) => {b + 1}
    }
}

let runFn= <K extends keyof (typeof index)>(key: K) => {
    let i = index[key]
    let arg = i.arg
    let fn = i.fn
    fn(arg) // Error: compiler doesn't understand that fn and arg will match
}

Expected behavior:
No error, since we know that arg and fn are pulled off of the same map entry.

Actual behavior:
Error: cannot invoke expression whose type lacks a call signature

まず、提供された TypeScript 2.4 の例を再現し、fn(arg) を呼び出したときのエラーを確認します。次に、ジェネリックキーと依存する union メンバーを介したインデックスアクセスについて、型チェックの経路を追跡します。完了とは、型安全性を弱めることなく例がコンパイルできる状態です。