>It is unfortunate coincidence, but Haskell sum types don't correspond to sums of spaces. Since types on computers are discrete, it makes more sense to name th

>It is unfortunate coincidence, but Haskell sum types don't correspond to sums of spaces. Since types on computers are discrete, it makes more sense to name them according to the fact that if |x| is the number of values that a variable of type x can take on, |x+y|=|x|+|y| and |x*y|=|x|*|y|.