Extract

Extract 允许你基于条件从联合类型中挑选出特定类型来创建新类型。本质上，它过滤联合类型，只保留那些可赋值给指定类型的成员。当你需要将联合类型中的可能类型缩小到仅满足特定条件的类型时，这非常有用。