[GHC] #8165: Use GeneralizedNewtypeDeriving to automatically create associated type families

[GHC]

#8165: Use GeneralizedNewtypeDeriving to automatically create associated type
families
-------------------------------------+-------------------------------------
        Reporter:  MikeIzbicki       |                Owner:  RyanGlScott
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler (Type    |              Version:  7.6.3
  checker)                           |
      Resolution:                    |             Keywords:  TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #2721             |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Replying to [comment:20 goldfire]:
 > Just to be clear on the design here: we plan on rejecting the code in
 comment:14, right? That is, for GND to work with associated types, the
 last parameter of the class must be mentioned in the associated type LHS.
 Then I'm on board.

 Yes, precisely. I'll make sure to mention this fact in the users' guide.

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