Conditional type doesn't recognize that all inputs result in same conditional result

Question

This example doesn\'t typecheck:

type Subset1 = "one" | "two";
type Subset2 = "three" | &