<div dir="ltr"><font color="#003333"><font size="2"><font face="verdana,sans-serif">When I define </font></font></font><font color="#003333"><font size="2"><font>zipWithPlus at the top level of GHCi, the type is as shown.  </font></font></font><font color="#003333"><font size="2"><font face="verdana,sans-serif"><br>

<br></font></font></font><div style="margin-left: 40px;"><font color="#003333"><font size="2"><font face="verdana,sans-serif">&gt; let zipWithPlus = zipWith (+)</font></font></font><br><font color="#003333"><font size="2"><font face="verdana,sans-serif">zipWithPlus :: [Integer] -&gt; [Integer] -&gt; [Integer]</font></font></font><br>

</div><font color="#003333"><font size="2"><font face="verdana,sans-serif"><br clear="all"></font></font></font><div dir="ltr"><font color="#003333"><font size="2"><font>Why isn&#39;t it:</font>  </font></font>(Num a)  =&gt; a -&gt; a-&gt; a<br>

<div style="margin-left: 40px;"><font color="#003333"><font size="2"><font><br></font></font></font></div>  <font style="color: rgb(0, 51, 51); font-family: verdana,sans-serif;" size="2">I was unable to find a way to get the type to be more general.  I tried various declarations within the let using </font><font color="#003333"><font size="2"><font>(Num a)  =&gt; a -&gt; a-&gt; a but none of them were accepted.<br>

<br>Thanks.<br></font></font></font><font style="color: rgb(0, 51, 51); font-family: verdana,sans-serif;" size="2">-- Russ Abbott<br>______________________________________<br>  Professor, Computer Science<br>  California State University, Los Angeles<br>

<br>  Google voice: 424-242-USA0 (last character is zero)<br>  blog: <a href="http://russabbott.blogspot.com/" target="_blank">http://russabbott.blogspot.com/</a><br>  vita:  <a href="http://sites.google.com/site/russabbott/" target="_blank">http://sites.google.com/site/russabbott/</a><br>

______________________________________<br></font></div><br>
</div>