id	summary	owner	type	priority	version	os
1897	Ambiguous types and rejected  type signatures	chak	bug	low	6.9	Linux
2102	Typeclass membership doesn't bring coercion superclass requirements into scope	chak	bug	low	7.1	Unknown/Multiple
2715	Equality constraint in superclass not supported	chak	task	low	6.10.1	Linux
3011	ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv}		bug	low	6.11	Unknown/Multiple
3297	Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a rank-n type)	chak	bug	low	6.11	Linux
4528	stand-alone deriving sometimes fails for GADTs		bug	normal	7.0.1	Linux
4856	Performance regression in the type checker regression for GADTs and type families		bug	normal	7.0.1	Unknown/Multiple
4940	Bad error message using poly pat bind with MonoPatBinds		feature request	normal	7.0.1	Unknown/Multiple
4981	inconsistent class requirements with TypeFamilies and FlexibleContexts	simonpj	bug	high	7.0.1	Unknown/Multiple
5030	Slow type checking of type-level computation heavy code.		bug	normal	7.0.2	Unknown/Multiple
5120	inferred type of an implicit parameter rejected (associated type)		bug	normal	7.0.3	Linux
5007	"""deriving"" seems to ignore class context for a type family"	simonpj	bug	high	7.0.2	Unknown/Multiple