Update coproduct codecs to that discriminator records can pass keys out of order