[GHC] #788: Implement class aliases and/or constraint synonyms (was: Class aliases (as proposaed by John Meacham))

[GHC]

#788: Implement class aliases and/or constraint synonyms
---------------------------+------------------------------------------------
  Reporter:  simonpj       |           Type:  feature request        
    Status:  new           |       Priority:  normal                 
 Milestone:  _|_           |      Component:  Compiler (Type checker)
   Version:                |       Keywords:                         
  Testcase:  N/A           |      Blockedby:                         
Difficulty:  Unknown       |             Os:  Unknown/Multiple       
  Blocking:                |   Architecture:  Unknown/Multiple       
   Failure:  None/Unknown  |  
---------------------------+------------------------------------------------

Old description:

> This ticket just records John Meacham's intriguing:
> [http://repetae.net/john/recent/out/classalias.html class alias proposal]

New description:

 It would be good to implement
  * John Meacham's intriguing:
 [http://repetae.net/john/recent/out/classalias.html class alias proposal],
 or

  * Dominic Orchard and Tom Schrijvers's
 [http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf
 Haskell type constraints unleaashed]

 Some combination of these looks very desirable.

--

Comment(by simonpj):

 Anoter

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