Overloading union types in TypeScript

Question

I want to define a function f such that arguments and return types are union types but they are tied, i.e. when you call f(anInputType) yo