[GHC] #5454: reify seems to needlessly remove kind ascriptions from type synonym RHSs

[GHC]

#5454: reify seems to needlessly remove kind ascriptions from type synonym RHSs
---------------------------------+------------------------------------------
    Reporter:  nicolas.frisby    |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Component:  Template Haskell
     Version:  7.2.1             |    Keywords:                  
    Testcase:                    |   Blockedby:                  
          Os:  Unknown/Multiple  |    Blocking:                  
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
---------------------------------+------------------------------------------

Comment(by nicolas.frisby):

 Independently, `TySynD` could have an additional field that includes its
 RHS's kind, or perhaps it could just always wrap its existing RHS in a
 `SigT` to preserve the interface.

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