-record(num, {arity :: integer()}).