[GHC] #12540: RFC: Allow not quantifying every top-level quantifiee

[GHC]

#12540: RFC: Allow not quantifying every top-level quantifiee
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #14245            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 This behavior of parentheses is awful, in my view. Redundant parentheses
 should never have any impact. (Yes, yes, I know: that statement is a
 tautology, as it's essentially the definition for "redundant". But I
 choose to define "redundant" to mean parentheses that are not needed to
 disambiguate / alter the precedence of operators.)

 In my opinion, this example shows why the current setup with scoped type
 variables is a small misdesign.

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