Add deriving TotalEq for Vector.