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 220.127.116.11.base-18.104.22.168
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.