let
replace e =
map (instantiate e)