infra: add arity