意味のわからないタイトルになってしまいましたがReduxなどでは意外とやりたくなるパターンかと思います。

type FooAction = {
  type: 'Foo',
  payload: string
};
type BarAction = {
  type: 'Bar',
  payload: number
};
type Action = FooAction | BarAction;

みたいなのがあったときに

type SomeAction = FilterActionByType<Action, 'Foo'>; // FooAction

のようなことがしたい。

結論

以下のようにします。

type FilterUnionByProperty<
  Union,
  Property extends string | number | symbol,
  Condition
> = Union extends Record<Property, Condition> ? Union : never;

冒頭のFilterActionByTypeは

type FilterActionByType<Action, Type> =
  FilterUnionByProperty<Action, 'type', Type>

のようにできます。

仕組み

最初は以下のようなコードを書きました。

type FilterActionByType<Action extends { type: any }, Type> =
  Action['type'] extends Type ? Action : never;

しかしながら、これではなぜか皆neverになってしまいます。

調べたところ、この方法ではAction['type']がdistributive conditional typesとして扱われないためだとのこと（参考）。

distributive conditional typesの説明を見ると

Conditional types in which the checked type is a naked type parameter are called distributive conditional types.

となっています。Action['type']は裸（naked）ではない型引数のため、distributive conditional typesとならないのです。

先ほどのStack Overflowの回答を見ると、以下のようなコードも載っていました。

export type FilterActionByType<
  A extends AnyAction,
  ActionType extends string
> = A extends any ? A['type'] extends ActionType ? A : never : never;

type ActionUnion = Action<'count/get'> | Action<'count/set'>;

type CountGetAction = FilterActionByType<ActionUnion, 'count/get'>;
// type CountGetAction = Action<"count/get">

A extends any ? ～ : neverによりラップすることで問題を回避していますね。なんてトリッキーな...。

いやはや、TypeScriptは奥が深い。そして設計者に改めて敬意を示したくなりますね！