29 Dec
2006
29 Dec
'06
4:37 p.m.
On 29/12/06, ajb@spamcop.net
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, dmhouse@gmail.com