let p_app0 f = p_call f []