<p>The errors are delayed in exactly the way that they are for the contract &#39;(-&gt; none/c any/c)&#39;. If you apply that contract to &#39;add1&#39;, it doesn&#39;t error unless the resulting function is applied.</p>
<p>Sam</p>