Eq deriving for universally quantified type - Haskell

data Foo = forall r. Foo (Bar r, Baz r)

data NeuronLink = forall r. NeuronLink (Query r, QueryConnection r, QueryViewTheme r)

instance Eq NeuronLink where
  (==) (NeuronLink (Query_ZettelByID zid1, c1, t1)) (NeuronLink (Query_ZettelByID zid2, c2, t2)) =
    and [zid1 == zid2, c1 == c2, t1 == t2]
  (==) (NeuronLink (Query_ZettelsByTag p1, c1, t1)) (NeuronLink (Query_ZettelsByTag p2, c2, t2)) =
    and [p1 == p2, c1 == c2, t1 == t2]
  (==) (NeuronLink (Query_Tags p1, c1, t1)) (NeuronLink (Query_Tags p2, c2, t2)) =
    and [p1 == p2, c1 == c2, t1 == t2]
  (==) _ _ =
    False