[foldr]

If the claim is only true over spans of time on the order of lifetimes, then it’s not much comfort.