First-class syntax
