ype-t">t</a></span></code></dt><dd><p><code>map2 ~f x y</code> is <code>return f &lt;*&gt; x &lt;*&gt; y</code>, i.e., <code>f</code> &quot;lifted&quot; in to <a href="index.html#type-t"><code>t</code></a> and then applied to both <code>x</code> and <code>y</code>.</p></dd></dl><dl><dt class="spec value" id="val-(&lt;*&gt;)"><a href="#val-(&lt;*&gt;)" class="anchor"></a><code><span class="keyword">val</span> (&lt;*&gt;) : <span><span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type