¿Cuál es el significado de los tipos de datos algebraicos con cero constructores?

Este pasaje, que lamentablemente carece de referencias, sobre el desarrollo de ADT en Haskell, deUna historia de Haskell: ser perezoso con claseSección 5.1:

En general, un tipo algebraico especifica una suma de una o más alternativas, donde cada alternativa es un producto de cero o más campos. Podría haber sido útil permitir una suma de cero alternativas, lo que sería un tipo completamente vacío, pero en el momento en que no se apreciaba el valor de dicho tipo.

me deja preguntándome, ¿cómo sería útil tal TDA?