On Tue, Sep 15, 2009 at 11:38 PM, Daniel Fischer <daniel.is.fisc...@web.de> wrote: > ... >> foo :: forall a. a -> a > > This is exactly the same type as > > foo :: a -> a > > (unless you're using ScopedTypeVariables and there's a type variable a in > scope), since > type signatures are implicitly forall'd.
Yep, perhaps I used the wrong example. What about foo: (forall a. a) -> Int? Cristiano _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe