 <code>fn</code> of LaTTe. The variable <code>x</code> is explicited of having type <code>A</code>.</p>
<p>The type of the previous expression can be written in LaTTe: <code>(==&gt; A A)</code> it is a function that takes an <code>A</code> and yields an <code>A</code>.</p>
<p>We have defined an identity function that is <em>specific</em> to a type <code>A</code> that has not been specified. In clojure the function <code>(fn [x] x)</code> is very generic, it is an identity functions for anything</p>
<pre><co