I tried forall a,b. Binary' a b and the <i>what was I thinking</i> comment was for that.<br><br>And I absulutely agree with you on the nesting part. That's what came to my mind at the first glance for obvious reasons.<br>
<br><div class="gmail_quote">On 24 March 2010 20:27, Bas van Dijk <span dir="ltr"><<a href="mailto:v.dijk.bas@gmail.com">v.dijk.bas@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
On Wed, Mar 24, 2010 at 6:31 PM, Ozgur Akgun <<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>> wrote:<br>
> What was I thinking?<br>
<br>
A sensible thought if you asked me.<br>
<br>
It's certainly a surprise to me that this isn't allowed. Because in<br>
any other context binders, like lambdas and foralls, may be freely<br>
nested. For example:<br>
<br>
{-# LANGUAGE RankNTypes #-}<br>
swap :: forall a. forall b. a -> b -> (a, b)<br>
swap = \x -> \y -> (x,y)<br>
<br>
{-# LANGUAGE PolymorphicComponents #-}<br>
data Foo = Foo (forall a. forall b. a)<br>
<br>
regards,<br>
<font color="#888888"><br>
Bas<br>
</font></blockquote></div><br><br clear="all"><br>-- <br>Ozgur Akgun<br>