linemediaobject"><img src="../images/space.png" alt="space"></span>
      </p>
<p>
        Conversely, <span class="emphasis"><em>typed values</em></span> can be <span class="bold"><strong>abstracted</strong></span>.
      </p>
<p>
        To <span class="bold"><strong>abstract</strong></span> a typed value <code class="computeroutput"><span class="identifier">v</span></code> of type <code class="computeroutput"><span class="identifier">T</span></code>
        is to obtain the abstract value <code class="co