What kind of pun is this?: “I used to be a banker, but I lost interest.”