[GHC] #14332: Deriving clauses can have forall types

[GHC]

#14332: Deriving clauses can have forall types
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |
      Resolution:                    |             Keywords:  deriving
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC accepts       |  Unknown/Multiple
  invalid program                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > Ryan, might you be able to do this?

 I meant less than you think!  I think.

 In comment:14 I say that GHC is behaving right.  We just need

 * Document the behaviour and rationale in the user manual.
 * Make it work without requirinng extra parens (this is mostly just
 syuntax I think
 * Add an example in the manual along the lines of the second example.

 In short, virtually no implementation, just documentation.

 You seem to think I'm asking for something subtle in the implementationn,
 but I'm not.

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