id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
700	Inconsistent typechecking of pattern match in function binding	guest		"{{{
f,g :: (forall a. Maybe a) -> (forall a. a)
f x = case x of Just y -> y
g (Just y) = y
}}}

f is accepted by 6.4.1, but g isn't. I think g should also be accepted."	bug	closed	normal	7.0.1	Compiler	6.4.1	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	typecheck/should_compile/T700