A friend said to me, quite a while ago now, that ironic fun sounded like something the otter-dogs would discuss. It took me a long time to sort it out in my head and I’m not sure that I quite got there.