<p><pre><code>   \* add.shen *\

   (define add
      {number --&gt; number --&gt; number} \* type annotation *\
      X Y -&gt;                         \* arguments list  *\
      (+ X Y))</code></pre>