Higher-derivative corrections via the double copy procedure | Synapse