Which is the inferred type R?

type IsString<T> = T extends string ? true : false;\ntype R = IsString<string | number>;