Moved Tactic.Deriving to Tactic.Deriving.Eq