[GHC] #11732: Deriving Generic1 interacts poorly with TypeInType

[GHC]

#11732: Deriving Generic1 interacts poorly with TypeInType
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.1
      Resolution:                    |             Keywords:  TypeInType,
                                     |  Generics
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * cc: andres@… (added)


Comment:

 I can offer only an uninformed opinion on the design question, but that
 opinion is to be permissive (option 2). It sounds like you're saying it's
 possible and sound. It also seems that issue (1) needs to be fixed
 regardless. So why not be permissive?

 I'm also include Andres on this, as I believe he cares about generics,
 too.

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