<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. 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> (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> (\k -> (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;"><interactive>:1:8:</span></font></div><div><font class="Apple-style-span" face="Monaco" size="2"><span class="Apple-style-span" style="font-size: 10px;"> 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;"> `Fractional t' arising from a use of `/' at <interactive>: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;"> `Integral t' arising from a use of `^' at <interactive>: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;"> 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>