Finish Arbitrary instances for matrix tuples