Hello,

> I wondered, why not take an n-tuple of arguments s.t.
>
>    multApply' :: (a1->a2->...->an->o) -> (a1,(a2,(...(an,o)...))) -> o
>
I'm not sure what you're trying to do here. Why is there an o in the argument? Also, do you really mean the number of arguments expected to match the number of arguments given?

Also you might want to check out Olegon polyvariadic functions: http://okmij.org/ftp/Haskell/vararg-fn.lhs

-Jeff


---

This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden.