[GHC] #16255: Visible kind application defeats type family with higher-rank result kind

[GHC]

#16255: Visible kind application defeats type family with higher-rank result kind
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.7
  checker)                           |             Keywords:
      Resolution:                    |  TypeApplications, TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC accepts       |  Unknown/Multiple
  invalid program                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #15740            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 You understand things correctly. The arity checker probably only looks at
 the visible arity, which is correct, and the kind, which is also correct.
 Of course, that's clearly not the whole story.

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