Ricardo Wurmus writes: > It’s a bit messy because options->update-specs is poorly typed now. We > could also have it return a compound value (or a union type) with a list > of values and a list of values, and process the > components separately. Attached is a crude implementation of that. I just consed the lists together instead of returning multiple values, because the compound value is to be used inside the store monad where we can’t easily access multiple values.