Update:

Now that I've pushed BC back to the stack, here's a ref that might be worthier of the (nonnewtonian) process heap

https://archive.fo/4mlUU

(Pls use the usual Chinese bulk carrier resilient doi tricks as might be required)

Lagniappe:

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

That sounds like the perfect swith* for me as well — I'd already been meaning to hide some imperative O(n)s behind functional-seeming O(n log n)s, but if soft heaps have no huge constant involved, maybe no rabbits have to be hidden in hats?

* http://bitsnbobstones.watershipdown.org/lapine/unit12.html#:...

Heh, not that any of us would be willing to tolerate getting stuff back in corrupted order ;)

If the constant factors aren't intolerable, it seems like one really ought to be able to do something with the fact that corruption (galois connection connexion?) only happens in one direction (corruption monad as closure)...

Lagniappe: https://www.youtube.com/watch?v=_yExwkQYcp0

I would, ipso facto(rio), in the hope that some of these corruptions, like Shakespeare's monkeys, would rephrase the muddled messages I get from the aether in something worth remembering for all time..

Maybe you could get a professor from the Academy of Projectors in Lagado to agree to advise, whereby you could get allocated some time on https://en.wikipedia.org/wiki/The_Engine for your own research?

(thanks for reminding me of "Have not I the most reason to complain, when I see these very Yahoos carried by Houyhnhnms in a vehicle, as if they were brutes, and those the rational creatures?"!)