> but adding a map function on Vector would have not prevented this more sophisticated use.

This was questioned, long ago, by Todd Veldhuizen in his Parsimony Principle paper[1]. The long-and-short of which is: do it!

[1] http://arxiv.org/abs/0707.4166