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 h

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#:~:text=swith http://bitsnbobstones.watershipdown.org/lapine/unit12.html#:...