Automatic binary serialization
tests for the coproduct case