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

main = ()
  where
    X ?x => Y ?y
--
6:7-6:9: Existential variable ?x is referred only once. Replace by _ if this is a wildcard.
6:15-6:17: New existential variables can be defined only in queries.