Adding Arbitrary instances to transactions