delete foldr