let
e_app4 f a b c d =
F
.unwrap (
F
.e_call f [
F
.wrap a;
F
.wrap b;
F
.wrap c;
F
.wrap d])