24 Mar
2010
24 Mar
'10
4:27 p.m.
On Wed, Mar 24, 2010 at 6:31 PM, Ozgur Akgun
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