let
unop f a =
TERM
.e_prim f [a]