 They have since been used in a large number of domains, particularly in defining new control operators; see Queinnec for a survey.Let's take a look at a more complicated example.Let codice_46 be the empty list