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

[GHC]

#4834: New Functor => Applicative => Monad Hierarchy
-------------------------------------+-------------------------------------
        Reporter:  gidyn             |                   Owner:
            Type:  task              |                  Status:  new
        Priority:  high              |               Milestone:  7.10.1
       Component:  libraries/base    |                 Version:  7.0.1
      Resolution:                    |                Keywords:  report-
Operating System:  Unknown/Multiple  |  impact
 Type of failure:  None/Unknown      |            Architecture:
      Blocked By:                    |  Unknown/Multiple
 Related Tickets:  #8004             |               Test Case:
                                     |                Blocking:
                                     |  Differential Revisions:  Phab:D13
-------------------------------------+-------------------------------------
Changes (by hvr):

 * status:  closed => new
 * cc: ekmett, thoughtpolice, hvr (added)
 * type:  proposal => task
 * differential:   => Phab:D13
 * related:   => #8004
 * priority:  normal => high
 * milestone:  Not GHC => 7.10.1
 * keywords:   => report-impact
 * resolution:  invalid =>


Comment:

 Reusing this old AMP ticket so I don't have to create a new one to track
 AMP progress;

 AMP phase 1 was covered by #8004, while this ticket is about phase 3
 (actually implementing the change)

 The AMP was implemented in a single monolithic commit, followed by AMP-
 related follow-up patches fixing up things as well as generalising some
 type signatures from Monad to Applicative:

  - d94de87252d0fe2ae97341d186b03a2fbe136b04 ("Make Applicative a
 superclass of Monad")
  - 65f887e1a0d864526f6a2609a3afc2c151c25e38 ("base: Add some notes about
 the default impl of `(>>)`")
  - 6477b3dc058a92b825ef30d98797603b4a44a001 ("testsuite: AMPify
 ioprof.hs")
  - 29e50da4c274eba0e444ce4b95294a76832908f2 ("testsuite: AMPify T3001-2")
  - f636faa7b2b7fc1d0663f994ad08f365d39a746d ("Set default-impl of
 `mapM`/`sequence` methods to `traverse`/`sequenceA`")
  - a07ce1654ac5b8033f2daf9270c6e182415b69ca ("Generalise
 `Control.Monad.{when,unless,guard}`")
  - bf3329104c971c84ab178f3ded88254b9594f9cc ("Generalise `guard` for real
 this time")
  - a1b539142d7853bc02c36f1b3e8d489a9864f0e9 ("testsuite: fix T5751 build
 failure (AMP)")
  - b30b185e5c653dfed948d71ce2336be70be3b418 ("testsuite: fix
 T1735_Help/State.hs build failure (AMP)")
  - abba3812e657a5267bba406d2c877c1cb5d978f9 ("Improve Applicative
 definitions")

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