Using `infer ... extends`, what is the type and kind of `R` here?

type ParseInt<S extends string> = S extends `${infer N extends number}` ? N : never; type R = ParseInt<"128">;