let piff = function p,p' -> Piff (p,p')