reasonable default depth for Arbitrary.fix;
optimization for choice on one element-list