let e_call f ts = Fol.e_app f ts