     <span class="inlinemediaobject"><img src="../images/space.png" alt="space"></span>
      </p>
<p>
        <span class="emphasis"><em>Abstract</em></span> values can be <span class="bold"><strong>represented</strong></span>
        in a given type.
      </p>
<p>
        To <span class="bold"><strong>represent</strong></span> an abstract value <code class="computeroutput"><span class="identifier">V</span></code> in a type <code class="computeroutput"><span class="identifier">T</span></code>
        is t