For this recursive conditional that unwraps nested promises, what is the type of `R`?

type Unwrap<T> = T extends Promise<infer U> ? Unwrap<U> : T; type R = Unwrap<Promise<Promise<string>>>;