id	summary	owner	type	priority	version	resolution
2900	Confusing error message for monadic function with wrong number of arguments		bug	normal	6.10.1	fixed
1696	Confusing type signature		bug	low	6.6.1	fixed
959	"Debugging info(?) leaks out: ""Urk! Inventing strangely-kinded void TyCon"""		bug	normal	6.6	fixed
323	Exponential behaviour with type synonyms	simonpj	bug	low	6.4.1	fixed
1241	Functional dependency Coverage Condition is lifted, and should not be		bug	normal	6.6	fixed
2247	GHC accepts FD violations, unless the conflicing instances are used		bug	normal	6.9	fixed
451	GHC poor type-checker error message		bug	normal	6.4	wontfix
788	Implement class aliases and/or constraint synonyms	--	feature request	normal		fixed
1221	Types don't match expressions in type error	simonpj	bug	low	6.6	wontfix
1050	Using an inferred type as a type signature fails		bug	low	6.6	fixed
7856	Wrong error message for unknown Instance		feature request	normal	7.6.3	invalid
3023	Wrong inferred type shown	--	bug	normal	6.10.1	fixed
2695	"bogus ""syntactically distinct contexts"" error"	--	bug	low	6.11	fixed
565	overlapping instances & fundeps broken	simonpj	bug	low	5.0	invalid
3545	As-patterns for type signatures	--	feature request	normal	6.11	--
1928	Confusing type error message		bug	low	6.8.1	--
345	GADT - fundep interaction	simonpj	bug	low	6.4	None
7026	Impredicative implicit parameters		bug	normal	7.4.2	--
4894	Missing improvement for fun. deps.		feature request	normal	7.1	--
1451	Provide way to show the origin of a constraint		feature request	normal	6.6.1	--
6065	Suggested type signature causes a type error (even though it appears correct)		bug	normal	7.4.1	--
472	Supertyping of classes		feature request	normal	None	None
1614	Type checker does not use functional dependency to avoid ambiguity		bug	normal	6.7	
589	Various poor type error messages		bug	low	6.4.1	--
816	Weird fundep behavior (with -fallow-undecidable-instances)		bug	normal	6.4.2	
1404	allow more type signatures		feature request	normal	6.6.1	--
393	functions without implementations	simonpj	feature request	normal	None	None
5957	signatures are too permissive		bug	low	7.4.1