pl foldr