[GHC] #15905: Data familes should end in Type

[GHC]

#15905: Data familes should end in Type
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.3
       Component:  Compiler          |              Version:  8.6.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #14645            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 I don't see any reason to throw the baby out with the bathwater here. It's
 true that extending this feature to work with type families is difficult,
 but we can continue the status quo. If we want to make sure that we're
 order-independent, just look for type families in the instantiated kind.
 If we spot any, fail.

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