adding eq_sym_eq_sym to Data.Eq.