TS's way of doing method overloading is shit. All the overloads have to forkjoin to a single signature which is full of unions and then you have to typecheck extensively in that converged method. The compiler does zero help for you.