"type-var">'arg_payload</span>)</span> <a href="#type-matcher">matcher</a></span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">f</span>:<span>(<span><span class="type-var">'f1</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'f2</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span class="type-var">'context</span>, <span class="type-var">'f2</span>, <span class="type-var">'arg_payload</span>)</span> <a href="#type-matcher">matcher