See also test/cases/dsl-sorts for more test cases involving first-class
functions and higher-order functions.
