#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