13 Feb
2009
13 Feb
'09
4:29 a.m.
On Fri, Feb 13, 2009 at 7:23 AM, Jan Snajder
Why do I need 'forall a' ? Aren't type variables implicitly universaly quantified?
You don't need it, it's just a matter of style. Some prefer to make it explicit, others not. I think it is only useful when you have lots of existentials nearby. -- Felipe.