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