<p dir="ltr">What we want for Map is definitely not that, but rather</p>
<p dir="ltr">??? :: Ord k => k -> Map k v -> Maybe (k, v)</p>
<p dir="ltr">In each case we look up a key to retrieve an "entry" (whether we want that terminology or not). In the case of a Map, the entry is a key-value pair; in the case of a Set it is merely a key.</p>
<div class="gmail_quote">On Jul 4, 2016 11:48 AM, "Nicolas Godbout" <<a href="mailto:nicolas.godbout@gmail.com">nicolas.godbout@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Correction, there are several errors in the signatures at the end of my last message.<br>
    > lookup??? :: Eq a => a -> [a] -> Maybe a<br>
    > lookup??? :: Ord a => a -> Set a -> Maybe a<br>
Also, copying the pattern for maps gives a slightly stranger signature<br>
    > lookup??? :: (Ord k, Eq a) => (k,a) -> Map k a -> Maybe (k,a)<br>
which combines a key lookup with an equality test on the value.<br>
<font color="#888888"><br>
Nicolas.<br>
</font><div class="elided-text"><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></blockquote></div>