id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4	Add constraint synonyms and constraint synonym families to GHC	jmcarthur	somebody	"Many of our ideas rely on constraint synonym families. It would be really nice to have this feature available to us.

See the paper: http://tomschrijvers.blogspot.com/2009/11/haskell-type-constraints-unleashed.html

See the prototype preprocessor implementation: http://github.com/dorchard/constraintTermExtensions"	enhancement	new	major		component1