What is the significance of algebraic datatypes with zero constructors?

Question

This passage, which unfortunately lacks references, about the development of ADTs in Haskell, from A History of Haskell: Being Lazy With Class, section 5.1:

Answer 1

Types with no constructors are called phantom types. See the page in the Haskell wiki.