[GHC] #4116: Type supplement for constructor specific uses of sum types

[GHC]

#4116: Type supplement for constructor specific uses of sum types
---------------------------------+------------------------------------------
    Reporter:  gabrielrf         |       Owner:              
        Type:  proposal          |      Status:  new         
    Priority:  normal            |   Component:  Compiler    
     Version:  6.13              |    Keywords:              
          Os:  Unknown/Multiple  |    Testcase:              
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by gabrielrf):

 Related theoretical article:
 http://winterkoninkje.livejournal.com/56979.html

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