<div>Thanks!</div><div><br></div>$ ghci -XNoMonomorphismRestriction<br class="Apple-interchange-newline"><br><span style>Prelude&gt; :t (+1)<br>(+1) :: Num a =&gt; a -&gt; a</span><div style><span style="font-size:11pt;font-family:Calibri,sans-serif"><br>

Prelude&gt; let inc=(+1)<br>Prelude&gt; :t inc<br>inc :: </span><span style="font-family:Calibri,sans-serif;font-size:15px"> </span><span style="font-family:Calibri,sans-serif;font-size:15px">Num a =&gt; a -&gt; a</span></div>

<div style><span style="font-family:Calibri,sans-serif;font-size:15px"><br></span></div><div style><span style="font-family:Calibri,sans-serif;font-size:15px">Cool.</span></div><div style><span style="font-size:11pt;font-family:Calibri,sans-serif"><br>

</span></div><div style><span style="font-size:11pt;font-family:Calibri,sans-serif">-Greg</span></div><div style><span style="font-size:11pt;font-family:Calibri,sans-serif"><br></span></div><br><div class="gmail_quote">On Tue, May 22, 2012 at 12:34 PM, Artyom Kazak <span dir="ltr">&lt;<a href="mailto:artyom.kazak@gmail.com" target="_blank">artyom.kazak@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><a href="http://www.haskell.org/haskellwiki/Monomorphism_restriction" target="_blank">http://www.haskell.org/<u></u>haskellwiki/Monomorphism_<u></u>restriction</a><div class="HOEnZb">

<div class="h5"><br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>