Define doubleAll = map (x |-> 2*x).