[scripturial]

You could save five minutes by typing faster _and_ also spend five minutes thinking.

You are not considering all of the indirect effects. I.E.

Someone who types twice as fast is more likely to be comfortable to throw in that extra line of docs/comments that explains that whacky line of code.

Someone who has taken the time to improve the speed of the thing they are supposed to do for most of the working day, is a little more likely to be someone who cares about their job.