[GHC] #8797: Generics instances for monoid and applicative newtypes

[GHC]

#8797: Generics instances for monoid and applicative newtypes
-------------------------------+-------------------------------------------
        Reporter:  jcristovao  |            Owner:
            Type:  feature     |           Status:  merge
  request                      |        Milestone:  7.8.1
        Priority:  normal      |          Version:  7.8.1-rc1
       Component:              |         Keywords:
  libraries/base               |     Architecture:  Unknown/Multiple
      Resolution:              |       Difficulty:  Easy (less than 1 hour)
Operating System:              |       Blocked By:
  Unknown/Multiple             |  Related Tickets:
 Type of failure:              |
  None/Unknown                 |
       Test Case:              |
        Blocking:              |
-------------------------------+-------------------------------------------

Comment (by jcristovao):

 I'm _very_ glad that this is being pushed to 7.8. Really good news.

 For my particular use case these are good enough, but if I might push the
 envelop, why stop here?
 I'm certain some modules are more dificult than others, due to dependency
 cycles, but (and withouth checking for that, just from a quick round up),
 why not include these:

 Control.Arrow: Kleisli, ArrowMonad
 Data.Fixed: Fixed, E0, E1, ...
 Data.Unique: Unique
 Data.Traversable:  StateL, StateR, Id
 Data.Ord: Down
 System.Timeout: Timeout

 Also for Generic, Generic1, Data.

 If easy enough (i.e., no hard dependencies), it might be useful to someone
 else.

 Just a though,
 Thanks

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