[foldr]

Those requirements are already documented. Let’s not pretend that it’s impossible to write safe code that uses qsort.