foldr forever