Using conditional types to narrow returned instance from factory function

Question

The code below is reflective of a problem I\'m trying to solve. I\'ve got a interface specifying some object, that has two real concrete implementations. One impl\'s methods