hmm that's a very interesting comment
yet, all that ingenuity leads you to a slower algorithm in terms of interactions. so, humans are good at designing algorithms for a machine that humans invented, which itself is a distortion of the optimal 🤔
that's kinda how I see it. like, the "quicksort" or "radixsort" or whatever is the sort function it finds - it is faster in terms of interactions, because it only passes through all constructors once. that's a very interesting (underestimated) property