let union a b = e_app2 mk_union a b