I am not sure if anyone realized this, but my pun post, as well as including a pun of its own, was also quite literal. So you were all super-punned.
Or something.
Any definition of irony—though hundreds might be given, and very few of them would be accepted—must include this, that the surface meaning and the underlying meaning of what is said are not the same
This is certainly a double entendre, still fitting as a pun, and still descriptive of irony but at the same time incomplete. They are tiered as such so you cannot follow the list down. Someone mentioned a square rectangle relationship in another thread and it sounds fitting here as well.
But I don't mean to influence this thread much longer, so grab a drink and drive on.
Spoiler see...?
see what I did there?