8. Extract<T, U>を実装する

Exclude<T, K>と逆で、 Extract<T, U>は、TからUに代入できるメンバーを抽出したtypeを返す。

MyExtract<T, U>を実装してみてください。

type Foo = 'a' | 'b' | 'c'type A = MyExtract<Foo, 'a'> // 'a'type B = MyExtract<Foo, 'a' | 'b'> // 'a' | 'b'type C = MyExtract<Foo, 'b' | 'c' | 'd' | 'e'>  // 'b' | 'c'type D = MyExtract<Foo, never>  // never