Adding Message Arbitrary instances