diff --git a/src/Data/Functor/Classes/Eq/Generic.hs b/src/Data/Functor/Classes/Eq/Generic.hs index 935f8ade4..02ccff00b 100644 --- a/src/Data/Functor/Classes/Eq/Generic.hs +++ b/src/Data/Functor/Classes/Eq/Generic.hs @@ -40,3 +40,6 @@ instance (GEq1 f, GEq1 g) => GEq1 (f :+: g) where (L1 a, L1 b) -> gliftEq f a b (R1 a, R1 b) -> gliftEq f a b _ -> False + +instance (GEq1 f, GEq1 g) => GEq1 (f :*: g) where + gliftEq f (a1 :*: b1) (a2 :*: b2) = gliftEq f a1 a2 && gliftEq f b1 b2