Diese Passage, die leider keine Hinweise enthält, über die Entwicklung von ADTs in Haskell, ausEine Geschichte von Haskell: Mit Klasse faul seinAbschnitt 5.1:

Im Allgemeinen gibt ein algebraischer Typ eine Summe aus einer oder mehreren Alternativen an, wobei jede Alternative ein Produkt aus null oder mehreren Feldern ist. Es hätte nützlich sein können, eine Summe von Null-Alternativen zuzulassen, was ein völlig leerer Typ wäre, aber zu dem Zeitpunkt wurde der Wert eines solchen Typs nicht gewürdigt.

Ich frage mich, wie eine solche ADT nützlich wäre.