id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
18	record update syntax cannot currently be used for polymorphic components	anonymous	nobody	"For example:
{{{
data N = N { f :: forall a. a -> a }

g n = n { f = id }
}}}
See revisions [http://cvs.haskell.org/cgi-bin/cvsweb.cgi/hugs98/src/type.c#rev1.46 1.46] and [http://cvs.haskell.org/cgi-bin/cvsweb.cgi/hugs98/src/type.c#rev1.66 1.66] of `type.c` for problems with previous attempts to fix this."	defect	new	major		type system	current