id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
189	Check for missing quantifiers in type class definitions.	benl		"Check for missing quantifiers in type class definitions. The type variable ""c"" here isn't quantified, and will be defaulted to Unit by the inferencer.

{{{
class Floating a where
	fpow	:: forall b
		.  a -> b -(!e1 $c1)> c
		:- !e1 = !{ !ReadT a; !ReadT b }
		,  $c1 = x : a
		,  Shape3 a b c
}}}"	defect	new	normal	0.1.3	Source Desugarer	0.1.2