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