Ticket #4 (new enhancement)
Opened 7 years ago
Add constraint synonyms and constraint synonym families to GHC
|Reported by:||jmcarthur||Owned by:||somebody|
Many of our ideas rely on constraint synonym families. It would be really nice to have this feature available to us.
See the prototype preprocessor implementation: http://github.com/dorchard/constraintTermExtensions