Typesafe multiple return types with Typescript

Typescipt types and runtime values are two separate levels, basically writing typescript conditions based on values is not supported, but there is a solution. What I would like to achieve is the following: A function return type changes based on the ...