<p dir="ltr"><br>
On Mar 17, 2015 4:57 PM, "Petr Pudlák" <<a href="mailto:petr.mvd@gmail.com">petr.mvd@gmail.com</a>> wrote:<br>
><br>
> What would be use-cases for (2)? As Joachim pointed out, for any reasonable data type inserting an equal element should have no difference.</p>
<p dir="ltr">I don't feel strongly about it; it was just a thought.</p>
<p dir="ltr">> For (3) I'd be in favor of<br>
><br>
>     alterF :: (Functor f, Ord a) => a -> (Bool -> f Bool) -> Set a -> f (Set a)</p>
<p dir="ltr">That seems quite reasonable.</p>