pan><span class="nv">token</span><span class="p">:</span> <span class="kt">H</span><span class="p">,</span> <span class="nv">effect</span><span class="p">:</span> <span class="kt">P</span><span class="p">)</span>
<span class="k">where</span> <span class="kt">P</span><span class="o">.</span><span class="kt">Output</span> <span class="o">==</span> <span class="kt">DispatchedAction</span><span class="o">&lt;</span><span class="kt">OutputAction</span><span class="o">&gt;</span><span class="p">,</span> <span cla