[GHC] #14042: Data type with type family in return kind spuriously rejected

[GHC]

#14042: Data type with type family in return kind spuriously rejected
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.0.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):

 Fair enough, I can accept GHC rejecting occurrences of type families in
 data type return kinds. But at the very least the error message ought to
 be changed here, because the current one misleads readers from the real
 problem.

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