let
p_app4 f a b c d = p_call f [wrap a;wrap b;wrap c;wrap d]