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