[TS] Correct TS call semantics for some function types