    {-# LANGUAGE Safe #-}

    -- |
    --
    -- Module      :  Data.Functor.Identity
    -- Copyright   :  (c) Andy Gill 2001,
    --                (c) Oregon Graduate Institute of Science and Technology 2001
    -- License     :  BSD-style (see the file LICENSE)
    --
    -- Maintainer  :  ross@soi.city.ac.uk
    -- Stability   :  stable
    -- Portability :  portable
    --
    -- The identity functor and monad.
    --
    -- This trivial type constructor serves two purposes:
    --
    -- * It can be used with functions parameterized by functor or monad classes.
    --
    -- * It can be used as a base monad to which a series of monad
    --   transformers may be applied to construct a composite monad.
    --   Most monad transformer modules include the special case of
    --   applying the transformer to 'Identity'.  For example, @State s@
    --   is an abbreviation for @StateT s 'Identity'@.
    --
    -- @since 4.8.0.0

    module Data.Functor.Identity
        (Identity(..)
         ) where

    import GHC.Internal.Data.Functor.Identity