an class="Other">:</span> <a href="microparsec/types.html#Parser"><span class="Identifier">Parser</span></a><span class="Other">[</span><span class="Keyword">proc</span> <span class="Other">(</span><span class="Identifier">i0</span><span class="Other">:</span> <span class="Identifier">S</span><span class="Other">)</span><span class="Other">:</span> <span class="Identifier">T</span><span class="Other">]</span><span class="Other">;</span> <span class="Identifier">parser1</span><span class="Other">:</span> <a 