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