<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>&gt; data LSet t where<br>
&gt; &nbsp; &nbsp; Nil :: LSet Nil<br>
&gt; &nbsp; &nbsp; Ins :: (Member a t b<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; , If b t (a ::: t) r) <br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =&gt; L a -&gt; LSet t -&gt; LSet
r<br>
&gt; </font></tt>
<br><tt><font size=2>Try replacing both original occurrences of r, i.e.
(untested)</font></tt>
<br>
<br><tt><font size=2>&nbsp; &nbsp; Ins :: (Member a t b, If b t (a :::
t) (LSet r)) =&gt; L a -&gt; LSet t -&gt; LSet r</font></tt>
<br>
<br><tt><font size=2>-Jeff</font></tt>
<br><tt><font size=2><br>
</font></tt>
<br>
<span style="font-family:'Arial',sans-serif; font-size:8pt; color:#000000">---<br>
<br>
This e-mail may contain confidential and/or privileged information. If you <br>
are not the intended recipient (or have received this e-mail in error) <br>
please notify the sender immediately and destroy this e-mail. Any <br>
unauthorized copying, disclosure or distribution of the material in this <br>
e-mail is strictly forbidden.</span>