<div dir="ltr">FYI, Data.Map uses an Ord instance for keys<span style="font-size:13.1999998092651px;line-height:19.7999992370605px">, not an Eq instance.</span></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Jun 23, 2015 at 1:15 PM Imants Cekusins <<a href="mailto:imantc@gmail.com">imantc@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> alter its Eq => definition<br>
<br>
module MatchTuple (MyP) where<br>
<br>
data MyP t = MyP(t,t) deriving Show<br>
instance Eq t => Eq (MyP t)  where<br>
   (==) = match<br>
<br>
<br>
match::Eq t =>  MyP t-> MyP t -> Bool<br>
match (MyP(x1,x2)) (MyP(x3,x4))<br>
   | x1 == x3 &&  x2 == x4 = True<br>
   | x1 == x4 &&  x2 == x3 = True<br>
   | otherwise = False<br>
<br>
<br>
?<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>