[GHC] #8541: Coercible should be higher-kinded

[GHC]

#8541: Coercible should be higher-kinded
-------------------------------------+------------------------------------
        Reporter:  nomeata           |            Owner:  nomeata
            Type:  task              |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by nomeata):

 Indeed straight forward, see 8959c69104eb032b75ec94dcf9cda3edd2b46423
 (ghc) and bbfaff2fa89b21bee058af7e6e6ddd66524524d0 (testsuite); currently
 on the branch wip/T8541 (I wonder why they were not auto-linked – is that
 only working for master?).

 The code did not check saturation of type constructors, so it worked out
 of the box for the positive examples from here. So let’s see what happens
 with the negative ones...

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