typeofで絞り込む

来る値を変えて、どちらの枝で型が決まるか追ってください。