id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2534	Odd probable cause given by type checker	heatsink	simonpj	"In the following code, a function has been applied to zero arguments, which the type checker suggests is too many.

{{{
Prelude> foldr (>>=) [] []

<interactive>:1:6:
    Occurs check: cannot construct the infinite type: b = a -> b
    Probable cause: `>>=' is applied to too many arguments
    In the first argument of `foldr', namely `(>>=)'
    In the expression: foldr (>>=) [] []
}}}"	bug	closed	lowest	7.6.1	Compiler (Type checker)	6.8.2	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	typecheck/should_fail/T2534