Some more work on CoArbitrary