In the Haskell report 2010, a data declaration has the format of:

For a new type, there could be zero or more data constructors. What's the use case for a new type that has zero data constructor?