[GHC] #4834: New Functor => Applicative => Monad Hierarchy

[GHC]

#4834: New Functor => Applicative => Monad Hierarchy
---------------------------------+------------------------------------------
    Reporter:  gidyn             |       Owner:                
        Type:  proposal          |      Status:  new           
    Priority:  normal            |   Component:  libraries/base
     Version:  7.0.1             |    Keywords:                
    Testcase:                    |   Blockedby:                
          Os:  Unknown/Multiple  |    Blocking:                
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown  
---------------------------------+------------------------------------------
 The standard class hierarchy is a consequence of Haskell's historical
 development, rather than logic. I would therefore like to propose a reform
 of the Functor, Applicative, and Monad type classes. The new hierarchy is
 logical, eliminates many duplicate names from the standard type class
 definitions, and removes the need for boilerplate Monad -> Applicative
 instance declarations.

 The proposal is detailed in [http://haskell.org/haskellwiki/Functor-
 Applicative-Monad_Proposal the wiki], along with an example of a legacy
 module to provide some backwards-compatibility.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4834>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler