[vesinisa]

I didn't mean to say that n would need to be 2 or more, unary functions (I even mentioned factorial) should be fine. 1-tuple is valid tuple :)

And yes I think your analysis that only allowing n-ary funcs with n>=2 would make general solution very much impossible since you can only have a limited number of inputs.