id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2761	type checker bug	guest		"This causes a type error:
{{{
    foo :: forall b. (b -> String, Int)
    foo = (const ""hi"", 0)
 
    bar :: (forall b. b -> String, Int)
    bar = foo
}}}
This should compile fine since the types are equivalent."	bug	closed	normal		Compiler (Type checker)	6.8.3	invalid		sclv	Unknown/Multiple	Unknown/Multiple		Unknown