module {
    export = [main],
    chr
}

import "StandardLibrary"

main = ()
  where
    X ?x => Y ?y
--
10:15-10:17: New existential variables can be defined only in queries.