The Twitter version of this is called `compress()`. Do you like that better? Mind you, that mentions the side effect, but not the getting. I'd prefer something that isn't too long.