> > > > There must be a subtlety I'm missing, right? > > What if the types are not instances of Eq? > > Jason > Thanks, I figured it was something simple. Now I just to convince myself there's no way around that. Is there a proof around somewhere? -- Chad Scherrer "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx