[GHC] #14203: GHC-inferred type signature doesn't actually typecheck

[GHC]

#14203: GHC-inferred type signature doesn't actually typecheck
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |             Keywords:  TypeInType,
      Resolution:                    |  TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC rejects       |  Unknown/Multiple
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 OK. So after these musings about `AllowAmbiguousTypes`, kind ambiguities,
 and visible kind application, I've lost track if there's actually any
 concrete GHC bug that's manifesting in the original program. Can this be
 closed, or is there something left to be done?

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