id	summary	status	owner	type	priority	milestone
4	Add constraint synonyms and constraint synonym families to GHC	new	somebody	enhancement	major	
5	GHC extension for higher rank types in constraints	new	somebody	enhancement	major	
1	Make Data.Map total	new	somebody	enhancement	major	
2	seq and pseq unsafety and ambiguities	new	somebody	enhancement	major