The "Frozen" snowman Olaf singing about how he wants to experience summer, for example (5)

(Other definitions for irony that I've seen before include "It could be hard" , "What "as clear as mud" demonstrates" , "the reverse of what you'd expect" , "Sarcastic humour" , "Kind of sarcasm, sounds metallic" .)