[GHC] #4482: Allow type variables to be instantiated as a typeclass

[GHC]

#4482: Allow type variables to be instantiated as a typeclass
----------------------------------------+-----------------------------------
    Reporter:  gidyn                    |        Owner:              
        Type:  proposal                 |       Status:  new         
    Priority:  normal                   |    Milestone:              
   Component:  Compiler (Type checker)  |      Version:  6.12.3      
    Keywords:                           |     Testcase:              
   Blockedby:                           |   Difficulty:              
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------

Comment(by simonmar):

 I'm not sure anyone knows how to do that.  Can you point to any papers?

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