Exclude<U, E>
U が、 E の部分型ならば E を返し、そうでなければ never を返すいまのところ、両方の引数がunion型であるものしか見たことがない
定義
tstype Exclude<U, E> = U extends E ? never : U 両方の引数がunion型の場合、
U - E をやっているイメージになるunion型
T から、union型 U を取り除く例
例.tstype A = Exclude<'X'|'B'|'C', 'X'>; // 'B'|'C'
type A = Exclude<'X' , 'X'|'B'|'C'> // never引けない場合は
never になる