How to assign these type predicates' types to their parameters' types?

Question

The followings are what I wanna achieve:

function isString( value: T ) : value is T extends string ? T : string {