13 Nov
2009
13 Nov
'09
4:49 a.m.
On Thu, Nov 12, 2009 at 8:52 PM, Andrew Coppin <andrewcoppin@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.