let e_app1 f a = unwrap (e_call f [wrap a])