GEq package:generic-data

Generic (==).
instance Eq MyType where
(==) = geq