Minor internal syntax cleanup in coproduct codecs