↑6.2 Sum types - CHAPTER 6. USER-DEFINED TYPES / Functional programming using Caml Light (англ.): "A sum type is the finite labeled disjoint union of several types. A sum type definition defines a type as being the union of some other types."
↑Gabriel Gonzalez, Sum Types / School of Haskell. To infinity and beyond. Pick of the Week (англ.)