Which is the inferred type T for a recursive Split helper?

type Split<S extends string, D extends string> = S extends `${infer H}${D}${infer R}` ? [H, ...Split<R, D>] : [S];\ntype T = Split<"a,b,c", ",">;