[GHC] #5927: A type-level "implies" constraint on Constraints

[GHC]

#5927: A type-level "implies" constraint on Constraints
----------------------------------------+-----------------------------------
    Reporter:  illissius                |       Owner:                  
        Type:  feature request          |      Status:  new             
    Priority:  normal                   |   Milestone:  7.6.1           
   Component:  Compiler (Type checker)  |     Version:  7.4.1           
    Keywords:                           |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |     Failure:  None/Unknown    
  Difficulty:  Unknown                  |    Testcase:                  
   Blockedby:                           |    Blocking:                  
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by illissius):

 Right; obviously it's up to you and the rest of the GHC team to figure out
 what it makes sense to spend time on. This is just to keep track of one of
 the things that would be nice. Thanks for your time!

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