id	summary	owner	type	priority	version	os
2900	Confusing error message for monadic function with wrong number of arguments		bug	normal	6.10.1	Unknown/Multiple
3023	Wrong inferred type shown	--	bug	normal	6.10.1	Unknown/Multiple
2695	"bogus ""syntactically distinct contexts"" error"	--	bug	low	6.11	Unknown/Multiple
323	Exponential behaviour with type synonyms	simonpj	bug	low	6.4.1	Unknown/Multiple
959	"Debugging info(?) leaks out: ""Urk! Inventing strangely-kinded void TyCon"""		bug	normal	6.6	Unknown/Multiple
1050	Using an inferred type as a type signature fails		bug	low	6.6	Unknown/Multiple
1241	Functional dependency Coverage Condition is lifted, and should not be		bug	normal	6.6	Unknown/Multiple
1696	Confusing type signature		bug	low	6.6.1	Unknown/Multiple
2247	GHC accepts FD violations, unless the conflicing instances are used		bug	normal	6.9	Unknown/Multiple
788	Implement class aliases and/or constraint synonyms	--	feature request	normal		Unknown/Multiple
565	overlapping instances & fundeps broken	simonpj	bug	low	5.0	Unknown/Multiple
7856	Wrong error message for unknown Instance		feature request	normal	7.6.3	Unknown/Multiple
451	GHC poor type-checker error message		bug	normal	6.4	Unknown/Multiple
1221	Types don't match expressions in type error	simonpj	bug	low	6.6	Unknown/Multiple