id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
25	Investigate support for polymorphic recursion	benl		"Manage this the same was as in Haskell, by requiring an explicit type signature. Do we need the whole signature, or can we get away with a partial one that only has quantifiers for the components that are used in the recursion?
"	task	new	project		Source Type Inferencer