Why Sum Types Matter in Haskell
Will Kurt
3025

One way sums matter (not just in Haskell) is that they are the source of all information content. Products combine existing information without adding anything, and functions as well, since functions are iterated/indexed products. Sums add one bit of information to the types they combine, with Bool as the simplest example, as you point out.