module { export = [main], features = [chr] } import "Prelude" main = () where when Foo ?x ?x then print (?x :: Integer) when True then Foo 1 2 Foo 2 1 Foo 2 2 -- 2 ()