Re: [Haskell-cafe] constant functions

G'day all. Quoting Matthew Brecknell :

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