<i>&quot;Someone somewhere in the world drank a cup of coffee, which means that he now has an empty cup instead of a full cup&quot;</i><p>That cannot happen in an immutable world. To fill an empty cup, you cons a cup and its contents. To get an empty cup again, you take the car of the cons. The full cup will only get garbage collected if you do not reference it anymore.