New impl of arbitraryDefault