let
p_app3 f a b c = p_call f [wrap a;wrap b;wrap c]