let
replace_all n c = empty n ; append n c