code> is a type meeting the
            requirements of <span class="bold"><strong>Body</strong></span>.
          </li>
<li class="listitem">
            <code class="computeroutput"><span class="identifier">m</span></code> is a value of type
            <code class="computeroutput"><span class="identifier">message</span><span class="special">&lt;</span><span class="identifier">b</span><span class="special">,</span><span class="identifier">B</span><span class="special">,</span><span class="identifier">F</s