let
map_twice_2 = map_to_all (
function
x
->
2 * x)