小编Dud*_*662的帖子

我创建了一个数据类型，需要使用 instance 使其成为相等类型类的实例。我的数据类型由值 R a b 组成。我想使R x y等于R c dif xis equal toc和yis equal to d。

这是我到目前为止编写的代码。它不编译。

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

我认为这可能是错误的，因为类型 a 和 b 不一定必须在 Equality 类型类中。我不知道如何解决这个问题。