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
- Control.Monad.Fix (for the IO instance)
- Control.Monad.ST (requires Rank2Types)