let remove a b = e_app2 mk_remove a b