<div><font face="Calibri, sans-serif"><span style="font-size:15px">In ghci 7.4.1:</span></font></div><span style="font-size:11pt;font-family:Calibri,sans-serif"><div><span style="font-size:11pt;font-family:Calibri,sans-serif"><br>
</span></div>Prelude> :t (+1)<br>
(+1) :: Num a => a -> a</span><div><span style="font-size:11pt;font-family:Calibri,sans-serif"><br>
Prelude> let inc=(+1)<br>
Prelude> :t inc<br>
inc :: Integer -> Integer</span></div><div><span style="font-size:11pt;font-family:Calibri,sans-serif"><br></span></div><div><span style="font-size:15px;font-family:Calibri,sans-serif">Why the difference?</span></div>
<div><font face="Calibri, sans-serif"><span style="font-size:15px"><br></span></font></div><div><font face="Calibri, sans-serif"><span style="font-size:15px">Thanks,</span></font></div><div><font face="Calibri, sans-serif"><span style="font-size:15px">Greg</span></font></div>