let p_app1 f a = F.p_call f [F.wrap a]