Types of irony and their contrasts