[GHC] #3447: Class restrictions on type instances

[GHC]

#3447: Class restrictions on type instances
---------------------------------+------------------------------------------
    Reporter:  LysikovVV         |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:  _|_             
   Component:  Compiler          |      Version:  6.10.4          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by LysikovVV):

 I have read your paper "Fun with type functions" and learned the concept
 of algebraic data kinds. This extension resolves the problem too. Is there
 plans to add it to GHC?

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