let e_app0 f = unwrap (e_call f [])