[GHC] #9865: Comonads in base library

[GHC]

#9865: Comonads in base library
-------------------------------------+-------------------------------------
        Reporter:  spacekitteh       |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:  8.0.1
       Component:  Core Libraries    |                 Version:
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by strake888):

 * cc: ekmett (added)


Comment:

 I think we ought to not simply copy ekmett's comonad thoughtlessly. In
 particular, we ought to consider how this would interact with such other
 base classes as Applicative, as we may want Apply which ought to be a
 superclass of Applicative; and the names of the Comonadic methods, as I
 much prefer (copure, cobind, cojoin) as (extract, extend, duplicate) seem
 a little random and are mnemonically poor in comparison if one already
 knows Applicative and Monad.

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