let
p_app2 f a b =
F
.p_call f [
F
.wrap a;
F
.wrap b]