id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
58	Panic in type inferencer	benl		"Reported by Jared

The following function fails to compile:
{{{
example :: [()] -> [()]
example a = b
  where b = a
example c = c
}}}
The second clause must be present.  The type must be a parameterized type,
and there must be a parameter.  {{{[a] -> [a]}}} compiles, but {{{[[a]] -> [[a]]}}} fails.

The error message is generated by the GHC runtime.
{{{
ddc: src/Type/Class.hs:(426,6)-(427,26): Irrefutable pattern failed for
pattern Data.Maybe.Just cids
}}}
"	defect	closed	blocker	0.1.3	Source Type Inferencer	0.1.2	fixed