On Wed, Jul 29, 2009 at 02:34:26PM -0400, Stephanie Weirich wrote: > Ok, I've put together a page on EmptyDataDecls: > > http://hackage.haskell.org/trac/haskell-prime/wiki/EmptyDataDecls I think this needs a sentence about semantics, to the effect that the type is abstract. (Not that its only element is bottom.)