Sid Mani

Is there any way to match a function with a certain number of arguments? Suppose I've defined a binary function `sum`, is there a way to create a pattern `f(a,...