On Fri, Feb 13, 2009 at 7:23 AM, Jan Snajder <jan.snajder at fer.hr> wrote: > 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.