de class="language-clojure">((fn [x] x) true) -&gt; true ;; identity for `booleans`
((fn [x] x) 42) -&gt; 42     ;; identity for `integers`
... etc ...
</code></pre>
<p>Is it possible to define such a generic function in LaTTe? The answer is of course yes, and this can be written as follows:</p>
<pre><code class="language-clojure">(lambda [A :type]
  (lambda [x A] x))
</code></pre>
<p>The generic identity function first has a parameter <code>A</code> that is an arbitrary type, and it yields the identity fun