Which is the inferred type R?

type R = (() => string) extends () => infer U ? U : never;