Каково значение алгебраических типов данных с нулевыми конструкторами?

Этот отрывок, в котором, к сожалению, отсутствуют ссылки, о разработке АТД в Haskell, из История Haskell :Быть ленивым с классом , раздел 5.1:

In general, an algebraic type specifies a sum of one or more alternatives, where each alternative is a product of zero or more fields. It might have been useful to permit a sum of zero alternatives, which would be a completely empty type, but at the time the value of such a type was not appreciated.

оставляет меня в недоумении, чем может быть полезен такой АТД?