---

4.2 Derived expression types

The constructs in this section are hygienic, as discussed in Macros. For reference purposes, Derived expression types gives syntax definitions that will convert most of the constructs described in this section into the primitive constructs described in the previous section.

• Conditionals
• Binding constructs
• Sequencing
• Iteration
• Delayed evaluation
• Dynamic bindings
• Exception handling
• Quasiquotation
• Case-lambda