Add arity typetrait