typeof 'function' using with Exclude<T, Function>

TypeScript Version: 3.2.2

Search Terms: Generic typeof

Code

function f2<T>(v: Exclude<T, Function> | (() => T)): T {
    if (typeof v === 'function') {
        v = v() // error!
    }
    return v
}

Expected behavior:
No error, type v is just (() => T).

Actual behavior:
Line 3 report an error: Type '(() => T) | (Exclude<T, Function> & Function)' has no compatible call signatures.

Playground Link: https://www.typescriptlang.org/play/index.html#src=function%20f2%3CT%3E(v%3A%20Exclude%3CT%2C%20Function%3E%20%7C%20(()%20%3D%3E%20T))%3A%20T%20%7B%0D%0A%20%20%20%20if%20(typeof%20v%20%3D%3D%3D%20'function')%20%7B%0D%0A%20%20%20%20%20%20%20%20v%20%3D%20v()%0D%0A%20%20%20%20%7D%0D%0A%20%20%20%20return%20v%0D%0A%7D

提供された Playground Link から始め、TypeScript 3.2.2 を使用して f2 のエラーを再現してください。typeof 'function' が Exclude<T, Function> を含むユニオンをどのように絞り込むかを調査してください。その分岐で v が報告されたエラーなしに呼び出し可能として認識されれば、作業は完了です。