 class="p">)</span> <span class="kd">::</span> <span class="n">lhs</span>
    <span class="k">select type</span><span class="p">(</span><span class="n">lhs</span><span class="p">)</span>
      <span class="k">type is</span><span class="p">(</span><span class="n">example</span><span class="p">)</span>
        <span class="n">lhs</span> <span class="o">=</span> <span class="nb">transfer</span><span class="p">(</span><span class="n">this</span><span class="p">%</span><span class="n">contents</span><span class=