[GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error

[GHC]

#7332: Kind-defaulting omitted leads to deeply obscure type error
-------------------------------+--------------------------------------------
  Reporter:  simonpj           |          Owner:  simonpj         
      Type:  bug               |         Status:  new             
  Priority:  high              |      Milestone:  7.6.2           
 Component:  Compiler          |        Version:  7.6.1           
Resolution:                    |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:  polykinds/T7332   |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------
Changes (by igloo):

  * owner:  => simonpj
  * milestone:  7.8.1 => 7.6.2


Comment:

 Simon, could you take a look at fixing this on the 7.6 branch please? (or
 close it if you don't think it's worth the effort).

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