let x = 2
  | y = 3
in
  [(x, y); (y, x)]