one could argue that it's a job for the compiler to make sure two equivalent language constructs (map and for loop) perform similarly...