3 ms·Union types aren't sum types. One difference is A | A = A, but A + A = 2 * A.by edflsafoiewq 6y agoUnion types aren't sum types. One difference is A | A = A, but A + A = 2 * A.