The difference between a sum type and a union type is that for a sum type, you 
can have multiple variants of the same type. That is, `int + int` is a 
different type from `int`. Since `int or int` is the same type as `int`, it's 
not a sum type, but a union type.

Reply via email to