= New Library Candidates =

Though there is a collection of libraries shared by all implementations, we might still wish to standardize some libraries, for the following reasons:

 * a standard library might have specifications of functions, while some implementations may be optimized.

 * stability of interfaces.

The following headings are suggested criteria for standard libraries.
Candidates should go under the heading that best describes the reasons they should be included.

== Require or could use compiler support ==

 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Typeable.html Data.Typeable]
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Dynamic.html Data.Dynamic]
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Control-Monad-Fix.html Control.Monad.Fix] (for the IO instance)
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-IORef.html Data.IORef]
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Control-Monad-ST.html Control.Monad.ST] (requires [wiki:Rank2Types])
 * ImpreciseExceptions

== Useful in interfaces between unrelated modules ==

 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Map.html Data.Map]
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Set.html Data.Set]
 * [http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Monoid.html Data.Monoid]

== Generally useful/improvements ==

 * replacement for the ReadClass, using a new parser library.
 * ExtensibleExceptions
 * monad transformers (though they require MultiParamTypeClasses and FunctionalDependencies)