[GHC] #2893: Implement "Quantified contexts" proposal

[GHC]

#2893: Implement "Quantified contexts" proposal
------------------------------+---------------------------------------------
 Reporter:  porges            |          Owner:                  
     Type:  feature request   |         Status:  new             
 Priority:  normal            |      Milestone:                  
Component:  Compiler          |        Version:  6.10.1          
 Severity:  normal            |     Resolution:                  
 Keywords:  proposal          |       Testcase:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
------------------------------+---------------------------------------------
Changes (by guest):

 * cc: id at isaac.cedarswampstudios.org (added)

Comment:

 My initial sense is this is a nice proposal.

 I wonder a little bit how this would interact with other typeclass needs.

 What's an example of a function that would need to be typed
 {{{
 :: (Monad m, forall a. Monoid (m a)) => (something or other)
 }}}
 ?  And would the compiler be able to infer the signature if it wasn't
 written?

 (and is this even the right forum to be asking these questions in? Who
 wrote the proposal, and when?)

 -Isaac Dupree

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