Since we don't have referential transparency yet, I don't think we should pretend that we care about cases like that now.