let p_app1 f a = p_call f [wrap a]