I often use it to infer one generic parameter:

type Output<Fn> = Fn extends ((a: unknown) => infer Out) ? Out : never;