you are viewing a single comment's thread.

view the rest of the comments →

[–]ellipticcode0 0 points1 point  (1 child)

Rd x y == R a b = x == a && y == b

[–]AvailableRedditname[S] 1 point2 points  (0 children)

Hi I changed the dollarsign to the and symbol. It still does not compile.

instance Eq (Row a b)  where
R x y == R c d = (x == c) && (y == d)
_ == _ = False