<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
One can write a function <br>
Eq a => ((a -> Bool) -> a) -> [a]<br>
that enumerates the elements of the set. Because we have universal quantification, this list can not be infinite. Which makes sense, topologically: These so-called searchable sets are topologically compact, and the Eq constraint means the space is discrete. Compact subsets of a discrete space are finite. <br>
<br>
Olaf<br><br></blockquote><div><br></div><div>Olaf (or anyone else), can you help me out here and write this function, with some example inputs and outputs? </div></div></div>