[GHC] #14728: Is (GeneralizedNewtypeDeriving + associated type classes) completely bogus?

[GHC]

#14728: Is (GeneralizedNewtypeDeriving + associated type classes) completely bogus?
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.2
  checker)                           |             Keywords:  deriving,
      Resolution:                    |  TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Replying to [comment:6 goldfire]:
 > Good about generating Core for type instances. Then this is all doable
 today.

 That's great! I can't claim to know where to proceed from here, though—the
 details of pushing this cast through axioms is still quite fuzzy to me.

 Is this blocked (at least partially) on getting your branch merged and/or
 fixing #14729?

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