Haskell 98 logically uninhabited data type; documentation

 Haskell 98 logically uninhabited data type. Used to indicate that a given
 term should not exist.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.