¿Qué tipo será Result?

type ExtractReturn<T> = T extends (...args: any[]) => infer R
  ? R
  : never;

type Result = ExtractReturn<() => Promise<string>>;