type IsString<T> = T extends string ? "yes" : "no" のように型パラメーターを使うことももちろん可能

(LTのスライド資料です。右の中央のメニューから"start presentation"を選択するとスライドがフルスクリーン表示されます。)