<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Jul 5, 2013 at 11:03 PM, Ömer Sinan Ağacan <span dir="ltr">&lt;<a href="mailto:omeragacan@gmail.com" target="_blank">omeragacan@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There&#39;s an implicit quantifier in type of `f`, like this: `f :: forall<br>
a. a -&gt; ListF a a`. When I add `ScopedTypeVariables` and `forall a.<br>
...` in top level definition, it&#39;s like all `a`s in scope of top level<br>
definition are same, except when explicitly defined as `forall a.<br>
...`.<br>
<br>
Is my intuition correct?<br></blockquote></div><br></div><div class="gmail_extra">Yes it is ! :)<br></div><div class="gmail_extra">ScopedTypeVariables is a very nice and non problematic extension, it may even be made part of some future Haskell standard.<br>
</div><div class="gmail_extra">-- <br></div><div class="gmail_extra">Jedaï<br></div></div>