<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d"><br></div>> That is a bad match, did you mean "Doub = fun(X) -> 2*X end" ?
</blockquote><div>Yes, I did. I should have run my examples, but instead I just wrote them up.  <br><br>Thanks for the replies. They were enlightening.<br></div></div><br>