[GHC] #788: Implement class aliases and/or constraint synonyms

[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  |  
---------------------------+------------------------------------------------
Description changed by simonpj:

Old 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.

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 unleashed]

  * Superclass defaulting: #2895

 Some combination of these looks very desirable.

--

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