id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
11	monomorphism and generalization	ross	nobody	"Hugs gets this wrong, leading to trouble later:
{{{
Hugs> :t let f = const 1 in let g = f in g
let {...} in (let {...} in g) :: Num a => b -> c
}}}
This is related to an erroneous comment on `markAssumList` in `type.c` that there is no need to mark generic variables, but the naive fix breaks `typecheck/should_compile/tc097`."	defect	new	major		type system