Got sorted-insert fusing the way it should, now to add finite access unrolling.
sorted (isort xs) now simplifies to True :D