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

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