It contains a haskell 98 logically-uninhabited data type used to indicate that a given term should not exist.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.