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