Thanks Luke,<br><br>Works great.<br><br><div class="gmail_quote">On Wed, Jan 21, 2009 at 7:35 PM, Luke Palmer <span dir="ltr">&lt;<a href="mailto:lrpalmer@gmail.com">lrpalmer@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="gmail_quote">2009/1/21 John Ky <span dir="ltr">&lt;<a href="mailto:newhoggy@gmail.com" target="_blank">newhoggy@gmail.com</a>&gt;</span><div class="Ih2E3d"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; 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><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><font color="#888888"><div>Luke</div></font></div>
</blockquote></div><br>