<p>On Mar 19, 2012 11:40 AM, &quot;Ozgur Akgun&quot; &lt;<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>&gt; wrote:<br>
&gt; {-# LANGUAGE FlexibleInstances #-}<br>
&gt;<br>
&gt; instance Num a =&gt; Num (a -&gt; a) where</p>
<p>You don&#39;t want (a -&gt; a) there.  You want (b -&gt; a).  There is nothing about this that requires functions to come from a numeric type, much less the same one.</p>
<p>-- <br>
Chris Smith<br>
</p>