let
e_app2 f a b = unwrap (e_call f [wrap a;wrap b])