How does TypeScript know that this union type of tuple types is equivalent to a tuple type of unions?

Question

How does TypeScript know that this union type of tuple types is equivalent to a tuple type of unions?

type LHS = [\'a\' | \'b\', \'b\'];
type RHS = [\'a\', \'b\']