content: module Data.Eq where
  
  
  
  class Eq a where
    (==) :: a -> a -> Data.Bool.Bool
    (/=) :: a -> a -> Data.Bool.Bool
  
  instance Eq a => Eq [a]
  instance Eq a => Eq (Data.Ratio.Ratio a)
  -- instance Eq p => Eq (Par1 p)
  instance Eq a => Eq (Data.Maybe.Maybe a)
  instance Eq a => Eq (Data.Ord.Down a)
  instance Eq a => Eq (Data.Monoid.Last a)
  instance Eq a => Eq (Data.Monoid.First a)
  instance Eq a => Eq (Data.Monoid.Product a)
  instance Eq a => Eq (Data.Monoid.Sum a)
  instance Eq a => Eq (Data.Monoid.Dual a)
  instance Eq a => Eq (ZipList a)
  instance Eq a => Eq (Complex a)
  instance (Eq a, Eq b) => Eq (Data.Either.Either a b)
  -- instance Eq (f p) => Eq (Rec1 f p)
  instance (Eq a, Eq b) => Eq (a, b)
  instance Eq c => Eq (K1 i c p)
  -- instance (Eq (f p), Eq (g p)) => Eq ((:+:) f g p)
  -- instance (Eq (f p), Eq (g p)) => Eq ((:*:) f g p)
  -- instance Eq (f (g p)) => Eq ((:.:) f g p)
  instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
  -- instance Eq ((:~:) k a b)
  -- instance Eq (f p) => Eq (M1 i c f p)
  instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
  instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
  