[GHC] #7961: Remove restrictions on promoting GADT's

[GHC]

#7961: Remove restrictions on promoting GADT's
-----------------------------+----------------------------------------------
Reporter:  danharaj          |          Owner:                  
    Type:  feature request   |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.3             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:  #6204           
-----------------------------+----------------------------------------------

Comment(by carter):

 Hey Dan,
 could you give some examples of "code you'd want to be able to write" vs
 "ways you have to encode it as ghc currently stands"?

 Also, the ticket number your refer to doesn't exist, which ticket do you
 mean?

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