simplify arity check