[GHC] #10194: Shouldn't this require ImpredicativeTypes?

[GHC]

#10194: Shouldn't this require ImpredicativeTypes?
-------------------------------------+-------------------------------------
        Reporter:  kosmikus          |                   Owner:
            Type:  bug               |                  Status:  merge
        Priority:  normal            |               Milestone:  7.10.2
       Component:  Compiler (Type    |                 Version:  7.8.4
  checker)                           |                Keywords:
      Resolution:  fixed             |            Architecture:
Operating System:  Unknown/Multiple  |  Unknown/Multiple
 Type of failure:  GHC accepts       |               Test Case:
  invalid program                    |  typecheck/should_fail/T10194
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by goldfire):

 Though I am not at all affected by this, I agree with Joachim (nomeata). I
 think this sort of wibble in a patch release just makes users groan, and
 for no great reason beyond pedantry. (I'm not using ''pedantry''
 negatively there, as doing so would be quite hypocritical, but that really
 is the only reason for this change.)

 I propose unmerging but surely keeping the fix in master. It ''is'' a
 bugfix, but just not one that needs to be released at the moment.

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