[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            |   Component:  Compiler (Type checker)
     Version:  6.12.3            |    Keywords:                         
    Testcase:                    |   Blockedby:                         
          Os:  Unknown/Multiple  |    Blocking:                         
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown           
---------------------------------+------------------------------------------
 Allow code such as
 {{{
 x = [1,True]::[Show]
 }}}
 This would eliminate the need for manual wrapper types, which bloat code
 with type plumbing.

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