. . "In fact, it???s quite simple and natural in languages such as ML or Haskell that support sum types. (Languages that don???t are hobbled, and this is part of the confusion.)" . . .