<br><font size=2 face="sans-serif">Hello,</font>
<br>
<br><tt><font size=2>> data LSet t where<br>
> Nil :: LSet Nil<br>
> --either add the new element or do nothing<br>
> Ins :: (Member a t b<br>
> , If b (LSet t) (LSet (a ::: t))
r) <br>
> => L a -> LSet t -> r</font></tt>
<br><tt><font size=2>></font></tt>
<br><tt><font size=2>The constructor Ins needs to return an LSet. Maybe
try replacing occurrences of r with (LSet r).</font></tt>
<br><tt><font size=2><br>
-Jeff</font></tt>
<br>
<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>