Example of a higher-order DSL.