Ridiculous idea: types from the future

I thought, the missing type-stability of f was the problem. I am not surprised to see strong performance advantages for the built-in comprehension and map solutions.