Talking to ChatGPT about irony, sarcasm and the lyrics of Alanis Morissette has softened my sense that Ironic is a dumb song that betrays a complete misunderstanding of the word 'ironic'. Is this irony?