Esta passagem, que infelizmente carece de referências, sobre o desenvolvimento de ADTs em Haskell, deUma história de Haskell: sendo preguiçoso com classeseção 5.1:

Em geral, um tipo algébrico especifica uma soma de uma ou mais alternativas, onde cada alternativa é um produto de zero ou mais campos. Pode ter sido útil permitir uma soma de alternativas zero, o que seria um tipo completamente vazio, mas no momento em que o valor de tal tipo não foi apreciado.

deixa-me a pensar, como é que tal ADT seria útil?