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