[GHC] #8739: ($) returning kind # no longer type checks

[GHC]

#8739: ($) returning kind # no longer type checks
-------------------------------------+------------------------------------
        Reporter:  NeilMitchell      |            Owner:
            Type:  bug               |           Status:  infoneeded
        Priority:  normal            |        Milestone:  7.8.1
       Component:  Compiler          |          Version:  7.8.1-rc1
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------
Changes (by goldfire):

 * status:  new => infoneeded


Comment:

 The fact that this code worked in <= 7.2 is a bug: #5570. I was unable to
 get the example above to compile on 7.4.2 or 7.6.3. Do you have an example
 that works with these versions but fails with 7.8?

 And, yes, the fix to #5570 did change the typing rules for `($)`, but
 seemingly in a good way.

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