On Wed, Mar 24, 2010 at 6:31 PM, Ozgur Akgun <[email protected]> wrote:
> What was I thinking?
A sensible thought if you asked me.
It's certainly a surprise to me that this isn't allowed. Because in
any other context binders, like lambdas and foralls, may be freely
nested. For example:
{-# LANGUAGE RankNTypes #-}
swap :: forall a. forall b. a -> b -> (a, b)
swap = \x -> \y -> (x,y)
{-# LANGUAGE PolymorphicComponents #-}
data Foo = Foo (forall a. forall b. a)
regards,
Bas
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
