I'm a little confused by this.  As I understand it, "arity" is the
number of arguments to a term.  Perhaps I'm just not seeing it in your
example, but where does arity fit into it?  Doubly, why might one want
to know this?