let
e_call f ts =
Fol
.e_app f ts