let
p_app1 f a =
F
.p_call f [
F
.wrap a]