[GHC] #15804: GHC panic (Visible kind application diff): data T :: (a :: k) -> *

[GHC]

#15804: GHC panic (Visible kind application diff): data T :: (a :: k) -> *
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.6.1
      Resolution:                    |             Keywords:
                                     |  TypeApplications
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 It's entirely possible that this is due to some other change that was
 introduced between 8.6.1 and HEAD. Since you're filing bug reports about
 code that hasn't even shipped yet, I'd think the task falls upon you to
 check this :)

 Do you mind building GHC HEAD from `master` and seeing if this bug can be
 reproduced from there as well?

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