Adding Transaction Arbitrary instances