Correct implementation of n-arity