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