Decidable.Equality: "Inline" vectDecEq