> > For example, suppose you have a predicate a -> Bool, and a list of
> > these predicates [a -> Bool], but you want to remove all functions
> > that are obviously equal in the C way from the list for
> > optimization... Okay big hack, and one could do this already with
> > reallyUnsafePtrEquality# I guess...
>
> And when the need gets big enough you pull out StablePtr and use
> that. :)
>
Waaagh! Don't give him ideas, he's going to do it...
Nah, I don't think so.
I think, even after all this mess, we've been relatively clear that Eq is how you do it.