module { export = [main], chr }
import "StandardLibrary"

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