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