You can, but it won’t be lawful, assuming that Good 0 * recip (Good 0) is something other than Good 1.
Of course, Fractional Double isn’t lawful either. So don’t let that get in the way of a good time. It’s just not correct to claim that this is somehow more legit than NaN from a mathematical perspective.