<p>Hi, I try to undestand why this code dosen&#39;t work</p>



<p>f :: (Num a)=&gt;Integer-&gt;a</p>

<p>f i = i</p>







<p>Integer is an instance of Num, so why does this code
produce error: &quot;Couldn&#39;t<span>&nbsp; </span>match
expected type &#39;a&#39; againsta inferred type &#39;Integer&#39; ...&quot;</p>