<div class="gmail_quote">2009/1/21 John Ky <span dir="ltr">&lt;<a href="mailto:newhoggy@gmail.com">newhoggy@gmail.com</a>&gt;</span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
*Main&gt; let x = lookup<br>*Main&gt; let y = Fx.Data.Map.lookup<br><br>&lt;interactive&gt;:1:8:<br>&nbsp;&nbsp;&nbsp; Ambiguous type variable `ma&#39; in the constraint:<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; `Fx.Data.Map.MapType ma&#39;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; arising from a use of `Fx.Data.Map.lookup&#39; at &lt;interactive&gt;:1:8-25<br>

&nbsp;&nbsp;&nbsp; Probable fix: add a type signature that fixes these type variable(s)</blockquote><div><br></div><div>I think this is just the monomorphism restriction. Turn it off with -XNoMonomorphismRestriction, or add a parameter to the binding:</div>
<div><br></div><div>let x k = lookup k</div><div><br></div><div>Luke</div></div>