I need to compare to procedures for equality. In the untyped version of the code I used eq? and it worked for my purposes.<br>Now, in the Typed Racket version I&#39;m having the problem that somehow one of the procedures is wrapped in a &quot;typed value&quot; struct while the other is not.<br>
<br>When I display the values I get:<br><br>#&lt;Typed Value: #&lt;procedure:A&gt;&gt; #&lt;procedure:A&gt;<br><br>is there any way to unwrap the value?<br><br>Thanks<br>-- <br>Ismael<br><br>