<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">I'm just starting to learn Haskell, and I'm having some confusion (I think) with how the type inference is working. &nbsp;Can someone explain why, in ghc 6.8.2 this works:<div><br class="webkit-block-placeholder"></div><div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">*Main&gt; (1/3)^3</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">3.7037037037037035e-2</span></font></div><div><br class="webkit-block-placeholder"></div><div>But this doesn't</div><div><br class="webkit-block-placeholder"></div><div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">*Main&gt; (\k -&gt; (1/k) ^ k) 3</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;"><br class="webkit-block-placeholder"></span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">&lt;interactive&gt;:1:8:</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">&nbsp;&nbsp; &nbsp;Ambiguous type variable `t' in the constraints:</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">&nbsp;&nbsp; &nbsp; &nbsp;`Fractional t' arising from a use of `/' at &lt;interactive&gt;:1:8-10</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">&nbsp;&nbsp; &nbsp; &nbsp;`Integral t' arising from a use of `^' at &lt;interactive&gt;:1:7-15</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;">&nbsp;&nbsp; &nbsp;Probable fix: add a type signature that fixes these type variable(s)</span></font></div><div><br class="webkit-block-placeholder"></div></div><div>TIA,</div><div>Ben</div></div></body></html>