Any way to unroll Generic instances?

Looking to know whether there’s any way to go from data Foo = … deriving Generic deriving Bar [via Quux Foo] to data Foo = … instance Bar Foo where … without potentially introducing errors into the code.