let papp = function p,p' -> Papp (p,p')