Implement class aliases and/or constraint synonyms
It would be good to implement
- John Meacham's intriguing: class alias proposal, or
- Dominic Orchard and Tom Schrijvers's Haskell type constraints unleashed
- Superclass defaulting: #2895
Some combination of these looks very desirable.
Other relevant links:
- http://haskell.org/haskellwiki/Class_alias
- http://markmail.org/message/sxr24pdvjq7dagco#query:%22class%20alias%22%20proposal%20haskell+page:1+mid:weh6k4krwdmnvoyt+state:results
- http://www.mail-archive.com/haskell@haskell.org/msg17356.html
- http://haskell.org/haskellwiki/Superclass_defaults.
- http://haskell.org/haskellwiki/Class_system_extension_proposal
- http://www.haskell.org/haskellwiki/Hac5/Projects#Type_class_aliases