Hi,<br><br>I&#39;m given a type &#39;a&#39; (lets assume the type is infinite) and a set finite &#39;xs&#39;. Now I want to create a new value of type &#39;a&#39; that does not occur in &#39;xs&#39; and return a set &#39;ys&#39; that consists of &#39;xs&#39; and also contains the new value.<br>
How can I do this???<br><br>The types are known at compile time, so I would think it is possible in Haskell..<br><br>Greetings,<br>Heinrich<br>