let e_app0 f = F.unwrap (F.e_call f [])