Returns an Option arbitrary given an arbitrary for the underlying value.