">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span>)</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'b</span> <a href="index.html#type-t">t</a></span></code></dt><dd><p><code>apply (F f) (F x)</code> is <code>F (f x)</code>, i.e., <code>f</code> applied to <code>x</code> in <a href="index.html#type-t"><code>t</code></a></p></dd></dl></det