This was useful for testing while writing the new query compiler. I'll get rid of it in the nominal-types PR.