In a wholehearted embrace of applicative functors and related classes, there were significant changes to the
Applicativeis now included in the
Preludemodule, and it is nowMonad in GHC 7.10 a superclass of
Monad.Commit making Applicative a superclass of Monad
Traversableare now included in the
Preludemodule.Foldable/Traversable in Prelude Many list functions in
Preludewere replaced with more generic
Foldablevariants. For example, the type of
[a] -> Intto
Foldable t => t a -> Int. This change was referred to in discussions as "Foldable/Traversable in Prelude" (abbreviated as "FTP").
This GHC version corresponds to
base version 18.104.22.168.base-22.214.171.124
Some other changes to
New language extensions:
Typeable class is now derived for all types by default.
- Deriving declarations for
Typeableare still permitted, but they have no effect.Deriving Typeable in GHC 7.10
- All mention of the
AutoDeriveTypeableextension disappears from the GHC User’s Guide.