On Thu, Nov 12, 2009 at 8:52 PM, Andrew Coppin <andrewcoppin at btinternet.com> wrote: > I just meant it's not immediately clear how > foo :: forall x. (x -> x -> y) > is different from > foo :: (forall x. x -> x) -> y > It takes a bit of getting used to. That still confuses me.