>P</a> : <a href="../index.html#module-type-PLUS">PLUS</a>) <span>&#45;&gt;</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></details></div></div></div><dl><dt class="spec type" id="type-applicative_t"><a href="#type-applicative_t" class="anchor"></a><code><span class="keyword">type</span> <span>'a applicative_t</span></code><code> = <span><span class="type-var">'a</span> <a href="argument-1-A/index.html#type-t">A.t</a></span></code></dt></dl><dl><dt class="spec valu