Yes, of course, sorry for the typo.<br><br><div class="gmail_quote">On Mon, Dec 22, 2008 at 9:17 AM, Denis Bueno <span dir="ltr"><<a href="mailto:dbueno@gmail.com">dbueno@gmail.com</a>></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;">
2008/12/22 Andrew Wagner <<a href="mailto:wagner.andrew@gmail.com">wagner.andrew@gmail.com</a>>:<br>
> The problem here is even slightly deeper than you might realize. For<br>
> example, what if you have a list of functions. How do you compare two<br>
> functions to each other to see if they're equal? There is no good way really<br>
> to do it! So, not only is == not completely polymorphic, but it CAN'T be.<br>
><br>
> There is a nice solution for this, however, and it's very simple:<br>
><br>
> contain :: Eq a -> [a] -> Bool<br>
<br>
Please note that the syntax here should be:<br>
<br>
contain :: Eq a => a -> [a] -> Bool<br>
<font color="#888888"><br>
Denis<br>
</font></blockquote></div><br>