GEq package:syb

Generic equality: an alternative to "deriving Eq"