On 29/12/06, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
And if you don't want to think about it, this should make everything clear:
My additions displayed below: f :: A -> B -> C -> D
f :: A -> (B -> (C -> D))
By right-associativity of f.
f a :: B -> (C -> D)
(f a) b :: C -> D
((f a) b) c :: d
s/d/D/ -- -David House, [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
