この解答例はChatGPTによって生成されています，正しいかは自己判断で。 皆の投稿からも解答例が見つかるかもしれませんよ。
BFE.devでのAI解答例 - TypeScript タイプパズル
8. Extract<T, U>を実装する
type MyExtract<T, U> = T extends U ? T : never;T型の各要素に対して、U型に代入可能であればその要素を返し、代入不可能であればneverを返すようにしています。