[continuational]

I don't know about TS, but in the main competitor, Flowtype, you can give uhoh this type:

    uhoh : ((x : string) => number) & ((x : number) => string)

And get what you expect:

    const a = uhoh('foo') // : number
    const b = uhoh(3)     // : string