#2 Configurable arity-annotation on definition traits