[GHC] #10448: Implement rest of "Add bifunctor related classes to base"-Proposal

[GHC]

#10448: Implement rest of "Add bifunctor related classes to base"-Proposal
-------------------------------------+-------------------------------------
        Reporter:  hvr               |                Owner:
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  libraries/base    |              Version:
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #9682             |  Differential Rev(s):  Phab:D336
-------------------------------------+-------------------------------------

Comment (by ekmett):

 I support moving a minimal flavor of `Bifoldable`/`Bitraversable` in.

 They don't have any legacy users to consider in terms of any bad
 interactions with different `Monad`'s lack of implementation of `(*>)` vs.
 `(>>)`. In fact I'd go so far as to remove `bisequenceA`, `bimapM` and
 `bisequence` from the class entirely in anticipation of doing the same to
 `Traversable`, and as a much smaller, low-impact laboratory for exploring
 that change.

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