On Tue, Jul 03, 2007 at 10:53:33AM +0000, Peter Verswyvelen wrote: > Ah, thanks for the correction. So if I understand it correctly, this is currying: > > when > > f :: (a,b) -> c > > then > > g :: a -> (b,c) g :: a->b->c > > is the curried form of f? So currying has to do with tuples? > > And partial application is just leaving away some tail arguments? >