The backend of amb/random.
As amb-thunks, but after shuffling the THUNKS, using the (amb-random-function).