"SafeJSON a" constraint in Product instance superfluous?

[Vlix]

The SafeJSON a => constraint in the Product instance might be superfluous.

I remember removing it from Sum, because it wasn't necessary, but I guess I might have forgotten to take it out of Product as well.