[Haskell-cafe] constant functions

[ajb at spamcop.net]

G'day all.

Quoting Matthew Brecknell <haskell at brecknell.org>:

> Yes. Function application (->) is right-associative in a type
> expression. What about a value expression?
>
> f a b === (f a) b
>
> Looks like an inconsistency? Not if you think about it. :-)

And if you don't want to think about it, this should make everything
clear:

    f :: A -> (B -> (C -> D))
    f a :: B -> (C -> D)
    (f a) b :: C -> D
    ((f a) b) c :: d

Cheers,
Andrew Bromage