Title: New applications and an implementation of higher-order queries with fixed output schemas