Added Arbitrary instance to semisimple