This hand-rolled `Exclude` relies on a distributive conditional type. What is `R`?

type MyExclude<T, U> = T extends U ? never : T; type R = MyExclude<"a" | "b" | "c", "a" | "c">;