    {-# LANGUAGE Trustworthy #-}

    -----------------------------------------------------------------------------
    -- |
    -- Copyright   :  (C) 2008-2014 Edward Kmett
    -- License     :  BSD-style (see the file libraries/base/LICENSE)
    --
    -- Maintainer  :  Edward Kmett <ekmett@gmail.com>
    -- Stability   :  provisional
    -- Portability :  portable
    --
    -- A logically uninhabited data type, used to indicate that a given
    -- term should not exist.
    --
    -- @since 4.8.0.0
    ----------------------------------------------------------------------------
    module Data.Void
        ( Void
        , absurd
        , vacuous
        ) where

    import GHC.Base (Void, absurd, vacuous)