[sometimesijust]

The use of "foldr insert []" makes this redundant nonsense.

[Hackbraten]

I disagree. The scientifically interesting thing is that we can have such exploding complexity, while at the same time every step of the algorithm still actively works towards a solution.