s="type-var">'b</span>)</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span></code></dt><dd><p>An other application operator. <code>g @@ f @@ 4</code> replaces <code>g (f 4)</code> but <code>h $ g 4 $ f 5</code> replaces <code>h (g 4) (f 5)</code></p><p><code>@@</code> has higher precedence so <code>h $ g @@ f 4 $ t @@ p 5 = h (g (f 4)) (t (p 5))</code> but in practice, I would advise not to mix them.</p></dd></dl><dl><dt class="spec value" i