[GHC] #14420: Data families should not instantiate to non-Type kinds

[GHC]

#14420: Data families should not instantiate to non-Type kinds
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.3
      Resolution:                    |             Keywords:
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 goldfire):

 Yes, that paper silently ignored data families, but I've thought all along
 (well, at least since I started thinking about constrained type families)
 that they should be associated, too. They're simpler because there are no
 closed data families.

 Chalk this up as yet another problem the constrained type families
 approach would solve...

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