&gt; It&#x27;s different from a traditional Option type, though, in that Option&lt;Option&lt;T&gt;&gt; is inexpressible.<p>I don&#x27;t think so.  It&#x27;s just a pointer to a pointer, rather than a single pointer.  That is,<p><pre><code>  int **value;
</code></pre>
and either<p><pre><code>   value == null
</code></pre>
or<p><pre><code>  *value == null
</code></pre>
or<p><pre><code>  **value == some value of interest</code></pre>