lass="operator">|</span><span class="number">0</span><span class="operator">|</span>] <span class="keyword">a</span>

<span class="comment">(* This would fail at compile time *)</span>
<span class="keyword">let</span> <span class="keyword">x</span> <span class="operator">=</span> <span class="function">ones</span> <span class="type">float32</span> [<span class="operator">|</span><span class="number">2</span>; <span class="number">3</span><span class="operator">|</span>]
<span class="keyword">let</span> <spa