GHC 8.0.1

This GHC version corresponds to base version

  • Some constraints in Control.Monadforever in base-4.9 were generalized from Monad to Applicative, taking advantage of the recent decision to make Applicative a superclass of Monad in GHC 7.10.
  • The Data.List.NonEmpty and Data.Semigroup modules, previously available in a package called semigroups, are now incorporated into the base package. Semigroup will later be made a superclass of Monoid and added to Prelude in GHC 8.4.
  • Added the TypeError classCustom compile-time errors in GHC 8.0 which makes it possible to define custom error messages for when compilation fails due to a missing typeclass instance.

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.