Seems reasonable to me... except I don&#x27;t see the point of having foo&#x2F;1 and foo1&#x2F;1.  The author could just have easily done:<p><pre><code>  foo(bar) -&gt; void;
  foo(X) -&gt; undefined.
</code></pre>
without the need for the proxy function:<p><pre><code>  foo(X) -&gt; foo1(X).</code></pre>