a considered smaller than any actual values.</p><p>A mental model could to view list as infinite sequence of options that are <code>None</code> after the end of the list. Then it would be proper lexicographic ordering with <code>Option.compare</code></p></dd></dl></section><section><header><h2 id="list-monad"><a href="#list-monad" class="anchor"></a>List monad</h2></header><dl><dt class="spec value" id="val-bind"><a href="#val-bind" class="anchor"></a><code><span class="keyword">val</span> bind : <span><spa