Re: [GHC] #12102: “Constraints in kinds” illegal family application in instance (+ documentation issues?)

[GHC]

#12102: “Constraints in kinds” illegal family application in instance (+
documentation issues?)
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  typecheck/should_fail/T12102
      Blocked By:                    |             Blocking:
 Related Tickets:  #13780, #15872,   |  Differential Rev(s):  Phab:D5397
  #16263                             |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 I don't think we're on the same page here. This ticket and #15872
 demonstrate that constraints in kinds are horribly broken, and that
 there's no way to profitably use them. I would think that we should fix
 GHC's treatment of constraints in kinds before we document how they work
 in the users' manual.

 Unfortunately, fixing that is far beyond my technical expertise.

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