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,,,