That `enum Counter` example (and Either in general) is a union type and not a sum type. It's either Counting (with a u32) or Halted (with a u32) but never both

That `enum Counter` example (and Either in general) is a union type and not a sum type. It's either Counting (with a u32) or Halted (with a u32) but never both at the same time.